<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Nov 21, 2015 at 1:09 PM, Martin Landa <span dir="ltr"><<a href="mailto:landa.martin@gmail.com" target="_blank">landa.martin@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
Option 1) seems to be more logical to me. What do you think?</blockquote></div><br><br></div><div class="gmail_extra">I still don't see a reason for not releasing 7.1. If we skip that milestone altogether, we can as well say that 7.2 will be in fact 7.1 and release 7.1 as the next release.<br></div></div>