Revision eb03888a61e23085113267b57f4372db491e3218

Committed on 27/01/2017 1:46 am by Dominik Eberlein <dominik@xrow.de> [GitHub Diff]

namespace bug fix