- Issue created by @mgerbault
- Assigned to paulrad
- @paulrad opened merge request.
- Issue was unassigned.
- Status changed to Needs review
10 months ago 8:01am 18 September 2023 - Status changed to Fixed
10 months ago 12:26pm 18 September 2023 - 🇺🇸United States ashrafabed
I agree with this addition, thank you both for reporting it and for submitting the PR. Merged to the dev branch for now.
- Status changed to Fixed
10 months ago 12:27pm 18 September 2023