From c20c43bdbea03148d0f167873942b4df47a7271e Mon Sep 17 00:00:00 2001
From: Robin Leroy <egg.robin.leroy@gmail.com>
Date: Wed, 25 Oct 2023 12:40:32 +0200
Subject: [PATCH] Diacritics are diacritics.

---
 unicodetools/data/ucd/dev/PropList.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/unicodetools/data/ucd/dev/PropList.txt b/unicodetools/data/ucd/dev/PropList.txt
index a77d2d267..5f8b4a467 100644
--- a/unicodetools/data/ucd/dev/PropList.txt
+++ b/unicodetools/data/ucd/dev/PropList.txt
@@ -1,3 +1,4 @@
+1AD6..1AD8; Diacritic
 # PropList-16.0.0.txt
 # Date: 2023-10-24, 21:03:48 GMT
 # © 2023 Unicode®, Inc.