Skip to content
Snippets Groups Projects

make name more consistent

Passed
Ralf Jung created pipeline for commit efdc3e48
, finished
Related merge request !320 to merge ralf/dom-size
5 minutes 10 seconds, queued for 4 seconds