[Ur] New release soon; any last change requests?

[fold at tuta.io]

Hi Adam,
- [Trivial change in basis.urs, line 1095] Would it be possible to add "placeholder" attribute to ctextarea?
Relevant documentation: https://developer.mozilla.org/en-US/docs/Web/HTML/Element/textarea



2. Jan 2017 05:30 by adamc at csail.mit.edu:


> After being way too distracted with other stuff for the last few months, I've cleared the backlog of Ur/Web bug reports and pull requests.  I'd like to put out a new release soon, probably this Thursday.
>
> Do you have any last bug reports or (modest) enhancement requests to throw into the queue before then?
>
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20170102/ffd4a516/attachment.html>