Processed: control message for bug #42869

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> tags 42869 fixed
Bug #42869 [emacs] [PATCH] Fix url-expand-file-name when applied to file:/// 
URLs
Added tag(s) fixed.
> close 42869 28.1
bug#42869: [PATCH] Fix url-expand-file-name when applied to file:/// URLs
bug marked as fixed in version 28.1, send any further explanations to
42869@debbugs.gnu.org and Steven Allen <steven@stebalien.com>

> quit
Stopping processing here.

Please contact help-debbugs@gnu.org if you need assistance.

GNU bugs database, http://debbugs.gnu.org/