Revision 5e9b080a5c2e61d85c9c4bbdddf625cd52b21cff

Committed on 16/04/2015 4:16 am by xinyuexrow <wang@xrow.de> [GitHub Diff]

"empty nodeid"-Bug fixed