<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">Hi <span style="color:rgb(80,0,80)">Graeme!</span></div><div class="gmail_quote"><span style="color:rgb(80,0,80)"><br></span></div><div class="gmail_quote">On Thu, Dec 17, 2015 at 5:58 PM, Graeme Geldenhuys <span dir="ltr"><<a href="mailto:mailinglists@geldenhuys.co.uk" target="_blank">mailinglists@geldenhuys.co.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><span class="">On 2015-12-17 15:09, Martin Grajcar wrote:<br>
</span><span class="">> I wonder what commit corresponds to Lazarus 1.4.2.<br>
<br>
<br>
</span>With the limitation in mind (as mentioned in my other replies), I pushed<br>
a couple of release tags to Github.</blockquote><div><br></div><div>That's nice, thank you! However, after having executed <font face="monospace, monospace">git reset --hard v1.4.2 && make clean && make</font> I've got Lazarus 1.5. As I understand it (or as I hope), there are just odd versions in the repository and switching to 1.5 was the very first done after releasing 1.4. So taking this commit and setting the version to 1.4.2 should be all I need?</div><div><br></div><div>Regards,</div><div>Martin.</div></div></div></div>