Ricardo Wurmus <rek...@elephly.net> skribis: > Ludovic Courtès <l...@gnu.org> writes: > >> Andreas Enge <andr...@enge.fr> skribis: >> >>> On Fri, Mar 29, 2019 at 03:02:00PM +0100, Tobias Geerinckx-Rice wrote: >>>> I still think this change should be reverted >>> >>> I also think so. >> >> I’d also be in favor of reverting. > > I’m also in favour. A pure revert would not be enough, though, would > it? The new names would need to remain as deprecated names (I know of > at least one person who installed some of these games under the long > names).
Indeed. So I reverted one in commit e23f2ff1836e982fc2289093aab0994e0c0cf2d2 (this particular rename broke a unit test.) As you can see in this commit, it’s mostly a matter of swapping the package names between the deprecated and the non-deprecated variant. Any takers? Thoughts? Thanks, Ludo’.