On Wed, 21 Jun 2017, Marco van de Voort wrote: > In our previous episode, Michael Van Canneyt said: >> >> already merged. Only active ones matter. >> >> Reviewed some more lists: > > It was last call for emergency revs the day before release branching, not > everything you could find :-) No problem, leave it as-is then :) Michael.