<p dir="ltr">Thanks to both of you for your quick feedback, Jesper and Henrik!</p>
<p dir="ltr">Jérôme</p>
<div class="gmail_quote">Le 22 sept. 2015 2:13 PM, "Henrik Nord X" <<a href="mailto:henrik.x.nord@ericsson.com">henrik.x.nord@ericsson.com</a>> a écrit :<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div text="#000000" bgcolor="#FFFFFF">
Hi<br>
<br>
Actually, we decided to not push the maint-XX branches at all. <br>
But we have sense re-evaluated that decision and should push them
again as there was some usage on the branches after all.<br>
<br>
The missing tag and the new tag OTP-18.1 will be there tomorrow.<br>
<br>
<br>
<br>
<div>On 09/22/2015 01:33 PM, Jesper Louis
Andersen wrote:<br>
</div>
<blockquote type="cite">
<div dir="ltr">
<div class="gmail_extra"><br>
<div class="gmail_quote">On Mon, Sep 21, 2015 at 11:32 PM,
Jérôme de Bretagne <span dir="ltr"><<a href="mailto:jerome.debretagne@gmail.com" target="_blank"><a href="mailto:jerome.debretagne@gmail.com" target="_blank">jerome.debretagne@gmail.com</a></a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">The
maint-18 branch on GitHub contains the commits up to the
OTP-18.0.2 tag, but not the more recent ones up to
OTP-18.0.3. Is it a simple oversight on GitHub or am I
making a wrong assumption about this branch?</blockquote>
</div>
<br>
</div>
<div class="gmail_extra">It just hasn't been moved yet, and I
think it is an oversight.<br>
</div>
<div class="gmail_extra"><br clear="all">
<br>
-- <br>
<div>J.</div>
</div>
</div>
<br>
<fieldset></fieldset>
<br>
<pre>_______________________________________________
erlang-questions mailing list
<a href="mailto:erlang-questions@erlang.org" target="_blank">erlang-questions@erlang.org</a>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a>
</pre>
</blockquote>
<br>
</div>
</blockquote></div>