<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Sep 17, 2013 at 9:53 AM, Greg Hendershott <span dir="ltr"><<a href="mailto:greghendershott@gmail.com" target="_blank">greghendershott@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Tue, Sep 17, 2013 at 8:29 AM, Matthew Flatt <<a href="mailto:mflatt@cs.utah.edu">mflatt@cs.utah.edu</a>> wrote:<br>

</div><div class="im">> I think the problem is the way that the release and development version<br>
> numbers got out of sync for a while. Version 5.3.6 is derived fairly<br>
> directly from v5.3.4 (and v5.3.5) by adding only a small set of bug-fix<br>
> patches. Version 5.3.6 has almost nothing that was added in the<br>
> v5.3.4.x development series.<br>
<br>
</div>Ah.<br>
<br>
My (mis)understanding of the process was: "My change was accepted and<br>
merged to `master` well before 5.3.5 was released, therefore my change<br>
will be in 5.3.5".  (In fact at the time I thought, that's lucky<br>
timing, it will make it into 5.3.5!)<br>
<br>
But although that seemed to be how it worked for my few previous PRs<br>
(e.g. adding Markdown output to Scribble), it's not necessarily true.<br>
<br>
Is that correct?<br>
<br>
For the future: Is there something I could/should have done to ensure<br>
the change made it to release?  (Or, was this just a window where such<br>
a change was unlikely to be accepted?)<br>
<div class="im"><br></div></blockquote><div><br></div><div>No, unfortunately, not. Because we have been in the middle of the big changes related to the package system, everything except essential bug fixes have not gone into any of the releases.</div>
<div><br></div><div>And, FWIW, a more precise characterization of your second paragraph above is "my change was accepted and merged to master before the release branch for release X happened". That would usually be sufficient.</div>
<div><br></div><div>Robby<br></div></div><br></div></div>