6 Jun
2023
6 Jun
'23
5:42 a.m.
On Tue Jun 6 05:42:57 2023 +0000, Nikolay Sivov wrote:
Maybe we should have a helper for that.
I've pushed a new version that uses a helper function to free the tickets. Thanks for the feedback.