Hi Timothy, Timothy <tecos...@gmail.com> writes:
> Bastien <b...@gnu.org> writes: > >> I let Timothy decide. > > I consider this patch fit to merge. I'm just under the impression that > this I should only push files I'm listed as a maintainer for without > explicit approval. You can consider this an explicit approval :) Even if we do something wrong, we can always discuss and revert it. Thanks! -- Bastien