From c5c5be219fda980185cdcb11790df2339b3d258e Mon Sep 17 00:00:00 2001
From: SlightlyCircuitous
 <71394296+SlightlyCircuitous@users.noreply.github.com>
Date: Wed, 3 Dec 2025 11:35:07 -0500
Subject: [PATCH] fix UTF in header

---
 tokens.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tokens.xml b/tokens.xml
index de3041c..cb2fd3c 100644
--- a/tokens.xml
+++ b/tokens.xml
@@ -1,4 +1,4 @@
-<?xml version="1.0" encoding="utf-8"?>
+<?xml version="1.0" encoding="UTF-8"?>
 <!--
     DO NOT EDIT THIS FILE!!! All changes made will be lost (#1859).
     We have made a new user-editable file for token modifications.