Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
Hintfmt percent test, and fix #3724
In light of the issue from #3720, I thought adding some tests would be a good idea.
Also there's a tentative solution here... its maybe a little inelegant to search-and-replace on percent, but its simpler than some other things I thought of. Still thinking though.