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 Ubuntu-devel-discuss@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss