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

[Adam Chlipala]

Good idea.  Added!

On 01/01/2017 08:10 PM, fold at tuta.io wrote:
> 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 <mailto: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?
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20170102/7a5f4b65/attachment.html>