Open ammaralmorsi opened 2 weeks ago
fixes bug#961
Note: the failing Ubuntu CI is because of an error I'm "currently" fixing.
fixes bug#961