From f6c5808817ddf3aeabbeefa82f6ab1f87d81eb9d Mon Sep 17 00:00:00 2001
From: Joshua Ramon Enslin <joshua@museum-digital.de>
Date: Fri, 18 Feb 2022 13:55:48 +0100
Subject: [PATCH] Add marking types "punched" and "hallmarked"

---
 l18n                      | 2 +-
 src/MDMarkingTypesSet.php | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/l18n b/l18n
index ee5fa9d..cc26219 160000
--- a/l18n
+++ b/l18n
@@ -1 +1 @@
-Subproject commit ee5fa9df3d3eaae50714258b1499e30aa9b90b7b
+Subproject commit cc26219ee4e7d2a216ed1b58181c9f3003bb651a
diff --git a/src/MDMarkingTypesSet.php b/src/MDMarkingTypesSet.php
index 1485890..a9f67bc 100644
--- a/src/MDMarkingTypesSet.php
+++ b/src/MDMarkingTypesSet.php
@@ -25,6 +25,8 @@ final class MDMarkingTypesSet extends MDValueSet {
         'burnt_in',
         'riveted',
         'nailed',
+        'punched',
+        'hallmarked',
         'sewn',
         'glued',
     ];