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

Sun Apr 9 11:41:33 BST 2017

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.