|
| From: | GNU bug tracker automated control server |
| Subject: | [debbugs-tracker] Processed: Re: bug#18439: [PATCH] guile-readline: Use the current directory if HOME is unset |
| Date: | Sun, 21 Sep 2014 23:29:03 -0400 |
Processing commands for address@hidden:
> severity 18439 wishlist
Bug #18439 {Done: Mark H Weaver <address@hidden>} [guile] [PATCH]
guile-readline: Use an empty string if HOME is unset
Severity set to 'wishlist' from 'normal'
> tags 18439 notabug
Bug #18439 {Done: Mark H Weaver <address@hidden>} [guile] [PATCH]
guile-readline: Use an empty string if HOME is unset
Added tag(s) notabug.
> thanks
Stopping processing here.
Please contact address@hidden if you need assistance.
GNU bugs database, http://debbugs.gnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |