[mapserver-dev] github and Mapserver documentation

[Jeff McKenna]

> On 12-11-05 12:38 PM, Havard Tveite wrote:
>> I would prefer having them in docs.
>>

A nice side effect of having a separate issue tracker is that doc
maintainers can be notified of docs issues; whereas now since I follow
the mapserver/mapserver repository I get all notifications, and I have
no idea what is a doc comment or not. #growingpains

-jeff