tree 5f37fbc8b57b89a3c3b41a5aebf53541120372a6
parent 33c14a6441a51e81032ce93a167f1df3320f6e0d
author Philipp Wiesemann <philipp.wiesemann@arcor.de> 1497648638 +0200
committer Philipp Wiesemann <philipp.wiesemann@arcor.de> 1497648638 +0200

pandora: Fixed compile error.