mapserver-64: update patch comment with PR info