Closed lillycat332 closed 1 year ago
@lillycat332 Do I understand correctly that #91 should be closed (currently it doesn't pass the CI) and this one should be merged instead?
@lillycat332 Do I understand correctly that #91 should be closed (currently it doesn't pass the CI) and this one should be merged instead?
Yes, this would resolve both of them, since it has the same commits as the pr #91
Resolves #94 Also fixes build issue with #91
Additional tasks