; Fix documentation of 'deactivate-mark'
authorEli Zaretskii <eliz@gnu.org>
Sat, 13 Aug 2022 15:52:46 +0000 (18:52 +0300)
committerEli Zaretskii <eliz@gnu.org>
Sat, 13 Aug 2022 15:52:46 +0000 (18:52 +0300)
commita1cf3b96f84794b708a9d80281d4e9deadfb610c
tree1ae3360397c9be608b3133e4ad7d8056d72cfba9
parentf289a17c068e5486f6d8fa695b4c36bcb9978996
; Fix documentation of 'deactivate-mark'

* src/keyboard.c (syms_of_keyboard):
* etc/NEWS: Fix the documentation of 'deactivate-mark' and its new
value 'dont-save'.  (Bug#57147)
etc/NEWS
src/keyboard.c