On Mon, Oct 16, 2017 at 07:47:57PM +0200, Francesco Poli wrote: > Should I just trust my intuition and fix the version tracking info of > those three RC bugs, as said in my message? Yes. Cheers, Moritz