On 2022-11-30 01:07, STEVEN NGUYEN wrote:
I don't know if this is the right place to email, but in the `metamath` package, version 0.198 fixes a /rewrap bug. (as mentioned in <https://us.metamath.org/mpeuni/mmrecent.html>)
A better way is to submit a Debian bug, to call the maintainer's attention to it.
https://www.debian.org/Bugs/ -- Cheers, Gunnar Hjalmarsson https://launchpad.net/~gunnarhj -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss