From c459630bf3179b4a92f8d47681854435bed08753 Mon Sep 17 00:00:00 2001
From: PatR <rankin@nethack.org>
Date: Fri, 8 Dec 2023 15:49:16 -0800
Subject: [PATCH] bump EDITLEVEL for nopick_dropped+pickup_stolen

Despite the tag on the pull request (#1140), I forgot to increment
EDITLEVEL to reflect the new options' affect on old save files.
---
 include/patchlevel.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/include/patchlevel.h b/include/patchlevel.h
index 0abd71576..fca6e0958 100644
--- a/include/patchlevel.h
+++ b/include/patchlevel.h
@@ -1,4 +1,4 @@
-/* NetHack 3.7	patchlevel.h	$NHDT-Date: 1686726254 2023/06/14 07:04:14 $  $NHDT-Branch: NetHack-3.7 $:$NHDT-Revision: 1.241 $ */
+/* NetHack 3.7	patchlevel.h	$NHDT-Date: 1702079342 2023/12/08 23:49:02 $  $NHDT-Branch: NetHack-3.7 $:$NHDT-Revision: 1.247 $ */
 /* Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1985. */
 /*-Copyright (c) Michael Allison, 2012. */
 /* NetHack may be freely redistributed.  See license for details. */
@@ -17,7 +17,7 @@
  * Incrementing EDITLEVEL can be used to force invalidation of old bones
  * and save files.
  */
-#define EDITLEVEL 92
+#define EDITLEVEL 93
 
 /*
  * Development status possibilities.