On Thu, Jul 18, 2019 at 2:30 AM Christoph Berg <myon(at)debian(dot)org> wrote:
> That version works as well on 12 HEAD. It passes "check world" and the
> Debian testsuite on top of that running 10->12 upgrade tests.
Pushed a slightly refined version of the same patch back to the v11 branch.
Thanks for the report, and for testing!
--
Peter Geoghegan