Closed mcadet closed 5 months ago
Please include a summary of the change and which issue is fixed. Please also include relevant motivation and context.
Fixes #205 or Closes # (issue)
@mcadet I'm not sure if it was on purpose, but could you reopen the MR? Then I would merge it 😅. Otherwise I'll copy your changes and push them myself, making sure that the commit(s) are attributed to you.
Description
Please include a summary of the change and which issue is fixed. Please also include relevant motivation and context.
Fixes #205 or Closes # (issue)
Checklist: