Inspections

Initiated By: Andreas B.
Merge pull request #6800 from ErikJson/master

master . 0497f5...ed86ee . push triggered

  No notable changes.
16s
created
#6613 #6614 correct handling of new elements added to an initialized (yet dirty)...

master . #6616 . pull request triggered

  Inspection was canceled.
34:39
created
Fix return value of removeElement for extra lazy collections

master . #6550 . pull request triggered

  No notable changes.
15:51
created
Fix return value of removeElement for extra lazy collections

master . #6550 . pull request triggered

  1 failure condition, 1 new issue, 1 fixed issue found.
09:54
created