<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">On 07/17/2017 05:07 PM, Dominik Ruf
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAAfZa5m8Y+R8jR3N6L+pGHNw8CQaP32Bhnbyb7B+GLA6hNsK7A@mail.gmail.com">
<div dir="ltr"><br>
<div class="gmail_quote">
<div dir="ltr">
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
> 2. Feature release 0.9<br>
> On the default branch there has been a lot of
development since release 0.3, the<br>
> last merge from default to stable (now almost two
years ago). <br>
</blockquote>
<div><br>
BTW is there a reason why it's been a while since the
last merge from stable to default as well?</div>
</div>
</div>
</div>
</div>
</blockquote>
<br>
There shouldn't be anything big on the stable branch compared to
default. I will thus wait for the next stable release and then merge
everything and resolve all conflicts at once.<br>
<br>
/Mads<br>
</body>
</html>