Closed chiaraDimension closed 2 years ago
@chiaraDimension is this PR ready to merge`?
@chiaraDimension If you like to use the DRAFT workflow of Github, you do not need to put a "WIP" prefix in the title anymore... that was introduced by us before github had this feature... so just use one or the other... Thank you!
@RudiThoeni @Piiit Yes, it's ready. Sorry, I forgot to remove WIP from title
No problem, thanks!
Implements
100