OpenSeaMap/depth — pull request #56 by cleanerx (2013-12-06 23:41:47+00:00)
Title: F#https://github.com/OpenSeaMap/depth/issues/31: Change menu text to

avoid duplicate menu entries