Skip to content

Avoid cast after GetElement()

Maik Nijhuis requested to merge avoid-element-cast into master

These changes were extracted from !238 (closed), which has become obsolete.

Merge request reports