Re: [PATCH] Change default latex compiler to latexmk

[Timothy]

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.

--
Timothy