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

Reply via email to