Merge branch 'make_shapes_resizable' into 'master'
Make shapes resizable See merge request !56
9.2.2023: Due to updates GitLab will be unavailable for some minutes between 9:00 and 11:00.
Make shapes resizable See merge request !56
mentioned in commit 2925c5ab
·mentioned in commit 2925c5ab