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). -- Ricardo