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)
-- Ubuntu-devel-discuss mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss
