Skip to content
Snippets Groups Projects

Also fix external name in _objs_from_sth .

Merged Marek Szuba requested to merge github/fork/ens-ds23/bugfix/display_label into bugfix/display_label