Subject: Re: bug#23703: 25.0.50; auto-saving painful

From: Glenn Morris <[email-masked]>
Date: Tue, 07 Jun 2016 19:32:51 -0400

If display-warning fails to ... display a warning, that would be a bug
that we should fix. So I've committed this auto-save change.