Revision 5e0877a8056442ffca5fb858389928c7acdf28d9

Committed on 10/03/2015 9:18 am by xrow <bjoern@xrow.de> [GitHub Diff]

fix operator