Closed guenthermi closed 7 years ago
Ok, I am merging this to fix the bugs, but I note that this code is rather more deeply nested than it should be (good indication is when lines are far too long for github's diff view ;-). Better try to split off code into separate methods when needed.
This fixes a bug which causes a skipping of the reference merging and a bug occuring by approving statements where references where added.