On Thu, Jul 16, 2020 at 09:47:47AM -0700, Konrad Schroder wrote: > Sorry, here is the summary of changes. Ideally I'd change the commit > message(s) to incorporate it, but I don't seem to have the necessary > privileges for that. We stopped doing that for pkgsrc to make the git/hg conversions easier. Thomas