14 Dec
2017
14 Dec
'17
11:07 a.m.
On 14 December 2017 at 10:51, Vicente J. Botet Escriba via Boost
This is not the source of any trouble, isn't it?
No, after posting I did some testing, and it needs to be fixed in timer. We're going to have a second release candidate with the change in timer reverted. Hopefully later today if the test results look good.