Revision e0cc83f6cd685e4353038104609ab6e73cee69e2

Committed on 28/02/2014 1:43 am by xrowrobert <robert@xrow.de> [GitHub Diff]

#5971 ending semicolon added just in case