Revision eb03888a61e23085113267b57f4372db491e3218

Committed on 27/01/2017 1:46 am by Dominik Eberlein <[email protected]> [GitHub Diff]

namespace bug fix