Thomas Gerbet (tgerbet)2017-03-13 15:38Status changed from Verified to ClosedClose date set to 2017-03-13
Thomas Gerbet (tgerbet)2017-03-13 10:14 This has been fixed by commit d850dcbfb053019fc6d9328c3ae5c6a5384df01d. Reported in version cleared values: 8.13