<div dir="ltr"><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"><div lang="EN-NZ" link="#0563C1" vlink="#954F72"><div class="m_-96057945074265220m_-5192543133263775234WordSection1"><p class="MsoNormal">One request, if the new build(s) could have the version identifier in the UI and /thversion variable updated; they still read 5.3.16.  Perhaps ‘5.3.16 13Mar2017’ or the like, would help with identifying which version I have active, and from which version pdf outputs were created.<u></u><u></u></p><p class="MsoNormal"><br></p></div></div></blockquote><div><br></div><div>Implemented in a form:</div><div><br></div><div>X.Y.Z (YYYY-MM-DD) for releases</div><div>X.Y.Z+short_commit_id (YYYY-MM-DD) for other commits subsequent to a release</div><div><br></div><div>Martin</div><div><br></div></div></div></div>