Nicolas Goaziou <m...@nicolasgoaziou.fr> writes: > Eric Schulte <schulte.e...@gmail.com> writes: > >> Should this be done personally or in master? > > I can't think of a case where it could lead to confusion, so I'd say it > can go in master, at least until someone complains, if ever. >
Done. Thanks -- Eric -- Eric Schulte https://cs.unm.edu/~eschulte PGP: 0x614CA05D (see https://u.fsf.org/yw)