Hello folks, Can anyone tell me when Mapserver 7.2 will be officially released? We are updating our servers, and would very much like to use PHP 7 and vector tiles. Cheers, Jan Hartmann University of Amsterdam