Patrick Van der Veken a80380c34b Fix for REPORTED_VALUE not being correct in all cases.

2017-12-27 11:43:04 +01:00

..

core

STDERR fixes

2017-12-27 11:35:34 +01:00

platform

Fix for REPORTED_VALUE not being correct in all cases.

2017-12-27 11:43:04 +01:00