[Ur] small patch adding <a download={string}>

[Adam Chlipala]

Patch accepted.

On 02/14/2015 01:53 PM, Sergey Mironov wrote:
> Hi. Please, consider applying the following small patch! It enables
> the HTML5 attribute, allowing to set default file name to be
> downloaded. Note, that HTML4 version of <a> seems to also have this
> attribute of type Bool with different meaning. Here is the details
>
> http://www.w3schools.com/tags/att_a_download.asp
>
> Regards,
> Sergey