[Ur] New release soon; any last change requests?
Adam Chlipala
adamc at csail.mit.edu
Mon Jan 2 11:09:32 EST 2017
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>
More information about the Ur
mailing list