On Tue, 10 Oct 2017, Dima Pasechnik wrote:
I cannot think of a reason other than different authors/reviewers, different weather, different amount of coffee... :-)
Haha. I opened #24003 for this, but will wait some days to see if there will be more comments.
-- Jori Mäntysalo