[Bug 74824] sync request

[Matthias Klose]

Public bug reported:

Binary package hint: gnat-gps

gnat-gps 4.0.1-3 from unstable, overwriting changes in 3.1.3-2ubuntu1;
4.0 is the first version working with gnat-4.x

** Affects: gnat-gps (Ubuntu)
     Importance: Undecided
         Status: Unconfirmed

-- 
sync request
https://launchpad.net/bugs/74824