Closed stweil closed 2 years ago
This pull request includes #322 and replaces #323.
@bertsky. do you have any comments? Can I merge this pull request?
Ping? We should prepare a new release which works with Ubuntu 22.04 out of the box.
This pull request includes #322 and replaces #323.