Thank you for the bug report. Looks like the devel release was updated to fix this on 2023-12-12. Focal, Jammy, Lunar, and Mantic still need the fix. Marking as such.
Thank you for the bug report. Looks like the devel release was updated to fix this on 2023-12-12. Focal, Jammy, Lunar, and Mantic still need the fix. Marking as such.