From 6ecd4f37ea3946a55a655be9bbe33a00f537977c Mon Sep 17 00:00:00 2001
From: Michael Marsh <mmarsh@cs.umd.edu>
Date: Wed, 17 Jan 2018 15:48:10 -0500
Subject: [PATCH] slight heading tweak

---
 README | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README b/README
index 5093b7d..e2a4933 100644
--- a/README
+++ b/README
@@ -706,8 +706,8 @@ dealing with conflicts
   Save the log message file, and exit. We now have completed our merge! See what
   the log shows.
 
-undoing changes
----------------
+reset
+-----
 
   When things stop working, sometimes starting over is easier than trying to
   find and fix the error. One of the nice features of git is that you can
-- 
GitLab