_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
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.
