Closed Mailaender closed 1 year ago
This is a followup to https://github.com/OpenChrom/openchrom/pull/381.
This is a followup to https://github.com/OpenChrom/openchrom/pull/381.