add PeterPetrik to contributors map

2025-02-24 00:47:57 -05:00 · 2018-08-28 08:04:29 +02:00 · 2018-08-28 08:04:29 +02:00 · 2855ccbeff
commit 2855ccbeff
parent d7afb710d7
1 changed files with 17 additions and 0 deletions
--- a/resources/data/contributors.json
+++ b/resources/data/contributors.json
@ -872,6 +872,23 @@
          51.6934
        ]
      }
+    },
+    {
+      "type": "Feature",
+      "properties": {
+        "Name": "Peter Petrik",
+        "Committer": "No",
+        "First Commit Message": "fix #13669 (Circular string generates duplicated nodes)",
+        "First Commit Date": "28-01-2016",
+        "GIT Nickname": "PeterPetrik"
+      },
+      "geometry": {
+        "type": "Point",
+        "coordinates": [
+          16.3137828,
+          49.871362
+        ]
+      }
    }
  ]
 }