<div dir="ltr"><div>Hi Stefan,<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Nov 15, 2019 at 7:56 PM Stefan Blumentrath <<a href="mailto:notifications@github.com">notifications@github.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><p>Merged <a href="https://github.com/OSGeo/grass/pull/195" target="_blank">#195</a> into master.</p>

<p style="font-size:small;color:rgb(102,102,102)">—<br>You are receiving this because you are subscribed to this thread.<br>Reply to this email directly, <a href="https://github.com/OSGeo/grass/pull/195?email_source=notifications&email_token=AAJ4GRFUUH4CGP42UYK65YDQT3WG7A5CNFSM4JN2H422YY3PNVWWK3TUL52HS4DFWZEXG43VMVCXMZLOORHG65DJMZUWGYLUNFXW5KTDN5WW2ZLOORPWSZGOU4OFK7Q#event-2803651966" target="_blank">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAJ4GRG5IJRFEU7U6YKJ22LQT3WG7ANCNFSM4JN2H42Q" target="_blank">unsubscribe</a>.<img alt="" width="1" height="1"></p>
</blockquote><div><br></div><div>...was this not backported on purpose?</div><div><br></div><div>I would invite all devs to:</div><div>- either backport themselves,</div><div>- or clearly indicate: do not backport,</div><div>- or state: pls someone backport it (seems to be mostly me but that's ok), there is a PR label for that.</div><div><br></div><div>We missed in 7.8.1 an important backport exactly due to this unclear situation.</div><div><br></div><div>I am not keen on manually compare every PR to see if it was backported or not...<br></div><div><br></div><div>thanks,</div><div>Markus<br></div><div> </div></div></div>