From 490831cb3077868a3d3f769015ec4ca25f94552d Mon Sep 17 00:00:00 2001
From: Andreas Hocevar <andreas.hocevar@gmail.com>
Date: Mon, 4 Nov 2019 12:21:01 +0100
Subject: [PATCH] Note about package-lock.json

---
 Release-Procedure.md | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/Release-Procedure.md b/Release-Procedure.md
index 30bb72b..c693127 100644
--- a/Release-Procedure.md
+++ b/Release-Procedure.md
@@ -34,7 +34,13 @@ E.g. in `package.json`
 }
 ```
 
-    git add package.json
+To pick this change up in `package-lock.json`, run
+
+    npm install
+
+Commit the version changes:
+
+    git add package.json package-lock.json
     git commit -m 'Update package version to 3.1.0'
 
 ### Merge the release branch