mapserver-64: add mapserver PR info for patch