[mkgmap-dev] Different POI with same name

Fri Feb 17 12:12:59 GMT 2012

> Could that be a try to solve the problem with duplicate POIs if
> you have one POI generated from a node and one from an area?

That wasn't the motivation - it is just all the other sections are
de-duplicated.

But you are right, you may get duplicates in the index with the patch
where you wouldn't before.

..Steve