Merge branch 'master' into NetHack-3.7

2019-07-13 00:38:40 -04:00
parent 1469ccbd06 77fd719e05
commit 505c1e4b02
27 changed files with 123 additions and 89 deletions
--- a/src/cmd.c
+++ b/src/cmd.c
@@ -2571,7 +2571,7 @@ int final;
 }

 /* attributes: intrinsics and the like, other non-obvious capabilities */
-void
+STATIC_OVL void
 attributes_enlightenment(unused_mode, final)
 int unused_mode UNUSED;
 int final;