Fix for #4335 and removal of unnecessary file

This contains two commits: A fix for #4335 (closed) and the removal of an unnecessary file.

Edited by magenbrot

Merge request reports

Loading