Hi Olivier, On Fri, Jul 27, 2018 at 09:04:04AM +0200, Olivier Doucet wrote: > 24 hours later, still no issue to be reported. All sessions are expiring > just fine. I think you can merge :)
Yes I think you're right, I'll do this, it will at least help all the users who don't want to patch their versions. We'll probably emit another 1.8 soon. Thanks! Willy
