Re: [mkgmap-dev] Commit r3889: revert most changes from r3857, they seem to cause incorrect maps under certain circumstances

On 09/04/17 11:17, Gerd Petermann wrote:

please check, this release is not yet available for download

In particular the following line was removed: <exclude name="**/optional/*.java"/> The builds are done in a clean environment without downloading any dependencies for optional stuff.