Rainer Gerhards 7fb5374d15
Merge pull request #1942 from jgerhards/cid185333
mmanon: fix potential NULL-pointer exception
2017-10-30 18:18:10 +01:00
..