<div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif"><span style="font-family:arial,sans-serif">On 25 October 2016 at 10:17, Horacio Duran </span><span dir="ltr" style="font-family:arial,sans-serif"><<a href="mailto:horacio.duran@canonical.com" target="_blank">horacio.duran@canonical.com</a>></span><span style="font-family:arial,sans-serif"> wrote:</span><br></div><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Shouldn't we leave it for historic purposes?<div class="HOEnZb"><div class="h5"><br></div></div></blockquote><div><br></div><div class="gmail_default" style="font-family:verdana,sans-serif">​Will it really get used? My bet is that the project's commit history will be enough.​</div></div></div></div>