[Ur] Anything to squeeze in before a new Ur/Web release?

Adam Chlipala adamc at csail.mit.edu
Wed Jul 12 16:55:42 EDT 2017


I'd like to make a new release early next week.  I just cleared the 
backlog of bug reports and merge-ready PRs, I think.  Are there any 
other changes appropriate to make before a release?

P.S.: Ur/Web is now included in Debian stable!  Thanks to Benjamin 
Barenblat for maintaining the package.




More information about the Ur mailing list