tree 62478b1d445ec158f157ee7915d019523251a3da
parent f4321250efb546966c3ee0632863a155d1f17b26
author Benno Schulenberg <bensberg@justemail.net> 1482922935 +0100
committer Benno Schulenberg <bensberg@justemail.net> 1482923095 +0100

locking: disable an annoying warning

The warning is wrong when the user has just saved a buffer under a
new name.  And when --quickblank is used, the warning most likely
gets cleared off before it is seen, and the user would just hear
the beep and be left wondering what happened.

This avoids https://savannah.gnu.org/bugs/?49875.