From 64195328da64d3e2dea82921b888c9bf8d2990cc Mon Sep 17 00:00:00 2001 From: Arthur Baars Date: Mon, 1 Sep 2025 22:40:47 +0200 Subject: [PATCH] Update 2025-08-25-loc-option.md --- shared/util/change-notes/2025-08-25-loc-option.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/shared/util/change-notes/2025-08-25-loc-option.md b/shared/util/change-notes/2025-08-25-loc-option.md index dacbb6eea946..220a5e09408f 100644 --- a/shared/util/change-notes/2025-08-25-loc-option.md +++ b/shared/util/change-notes/2025-08-25-loc-option.md @@ -1,4 +1,4 @@ --- -* category: minorAnalysis +category: minorAnalysis --- -* Added `LocatableOption` and `OptionWithLocationInfo` as modules providing option types with location information. \ No newline at end of file +* Added `LocatableOption` and `OptionWithLocationInfo` as modules providing option types with location information.