tree 8928e5918c5cea235704d4b9a2be4e6729b3f2c1
parent 6fa3560243ed348e29c5a1719f45d87013d74163
author Philipp Wiesemann <philipp.wiesemann@arcor.de> 1472584518 +0200
committer Philipp Wiesemann <philipp.wiesemann@arcor.de> 1472584518 +0200

Android: Fixed misleading warning in log output (thanks, Sylvain!).

Fixes Bugzilla #3418.