Closed mooori closed 1 year ago
This removes a workaround that was required to avoid compilation errors, see #39. Since the underlying issue has been fixed, we no longer need the workaround.
Closes #39
This removes a workaround that was required to avoid compilation errors, see #39. Since the underlying issue has been fixed, we no longer need the workaround.
Closes #39