From 84aabd4d3e3ee57298b96b18cfe90d827ee3d017 Mon Sep 17 00:00:00 2001
From: Martin Geisler <martin@geisler.net>
Date: Sat, 13 Sep 2025 13:02:30 +0200
Subject: [PATCH] Fix the use of `minutes` frontmatter
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

This file was inconsistent with the other files in our course.

I don’t actually know if both work, but if not, we should consider
erroring out to ensure consistency going forward.
---
 src/generics/generic-traits.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/generics/generic-traits.md b/src/generics/generic-traits.md
index d28d9fb0..c35e6894 100644
--- a/src/generics/generic-traits.md
+++ b/src/generics/generic-traits.md
@@ -1,5 +1,5 @@
 ---
-Minutes: 5
+minutes: 5
 ---
 
 # Generic Traits