I've forwarded your report to the MapServer bug tracker, since it's not distribution specific: https://github.com/mapserver/mapserver/issues/5140
I've forwarded your report to the MapServer bug tracker, since it's not distribution specific: /github. com/mapserver/ mapserver/ issues/ 5140
https:/