Subject: Re: bug#16902: 24.3.50; why vc-revert keeps its diff-buffer around?

From: Glenn Morris <[email-masked]>
Date: Fri, 28 Feb 2014 14:53:06 -0500

How about extending the option vc-revert-show-diff to allow a new value,
`kill', which means to kill the diff buffer afterwards?