Merge pull request #2410 from steffen-kiess/fix-monop
authorJoão Matos <joao@tritao.eu>
Fri, 8 Jan 2016 15:15:30 +0000 (15:15 +0000)
committerJoão Matos <joao@tritao.eu>
Fri, 8 Jan 2016 15:15:30 +0000 (15:15 +0000)
[monop] Fix NullReferenceException in monop


Trivial merge