Ciao, Il 2020-02-18 16:49 gregor herrmann ha scritto:
Il 2020-02-18 12:39 Marco Bodrato ha scritto: > A proposed patch:
I tried to convert it into the following unified patch:
Does this look correct?
Perfect.
(The package builds and passes all tests with the above patch.)
Great! Ĝis, m -- http://bodrato.it/papers/