|
| From: | GNU bug tracker automated control server |
| Subject: | Processed: Re: bug#52507: [PATCH] Option for vc-delete-file to keep file on disk |
| Date: | Wed, 15 Dec 2021 11:56:02 -0500 |
Processing commands for control@debbugs.gnu.org: > forcemerge 52507 52508 bug#52507: [PATCH] Option for vc-delete-file to keep file on disk bug#52508: [PATCH] Option for vc-delete-file to keep file on disk Forcibly Merged 52507 52508. > thanks Stopping processing here. Please contact help-debbugs@gnu.org if you need assistance. GNU bugs database, http://debbugs.gnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |