[Ur] Planning a new Ur/Web release soon

[Adam Chlipala]

I like the idea of making a final Ur/Web release of 2019.  Please let me 
know this week if there are any lingering issues that have not been 
addressed yet in the main repo <https://github.com/urweb/urweb> that 
seem straightforward enough to address before a release.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20191204/0cd0a6ee/attachment.html>