delete redundant files [skip modfiles]
Description of bug
Redundant set of files due to these two MRs: !3584 (merged) !3541 (merged)
Files of the second one have been removed.
Redundant set of files due to these two MRs: !3584 (merged) !3541 (merged)
Files of the second one have been removed.