[request] update metamath version to 0.198
Gunnar Hjalmarsson
gunnarhj at ubuntu.com
Mon Dec 5 14:20:58 UTC 2022
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
More information about the Ubuntu-devel-discuss
mailing list