[Ur] build errors in travis

Tue Mar 30 03:03:27 EDT 2021

Decided to check again on urweb, and noticed the build error mark on the
readme; after some light investigation it seems the error comes from
building the demo application, which has a bunch of

allow url #*

is this new syntax or obsolete syntax? :)

-- 
---
Fabrice Leal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20210330/b99511bf/attachment.html>