On Tue, Aug 02, 2016 at 12:02:36PM +0200, Ludovic Courtès wrote: > Eventually we’ll move the Xorg and KDE updaters outside of > gnu-maintenance, since they have little to do with GNU.
Or rename the file? It sounds like a good idea to have all updaters in the same place. Andreas