Hartmut Goebel <h.goebel@crazy-compilers.com> writes:

> Pushed as 7681436bfd9c3b6d9b8d18a1c81102d14378cbe8
>
> Thanks for the review.

Note: 'texlive-bin' fails to build with this change, which in turn
breaks Guix and a lot of other packages.

By pushing this change, you automatically volunteered to fix it ;-)

See
<https://lists.gnu.org/archive/html/guix-devel/2019-12/msg00163.html>
for a description of what is required.

I don't know whether Andreas (CC'd) is still working on it.