|
From: | GNU bug Tracking System |
Subject: | bug#71723: closed (30.0.50; [PATCH] fix 'Customize' menu entry) |
Date: | Sun, 23 Jun 2024 04:53:02 +0000 |
Your message dated Sun, 23 Jun 2024 07:52:11 +0300 with message-id <86jzigfeh0.fsf@gnu.org> and subject line Re: bug#71723: 30.0.50; [PATCH] fix 'Customize' menu entry has caused the debbugs.gnu.org bug report #71723, regarding 30.0.50; [PATCH] fix 'Customize' menu entry to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 71723: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=71723 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems
--- Begin Message ---Subject: 30.0.50; [PATCH] fix 'Customize' menu entry Date: Sat, 22 Jun 2024 22:50:10 +0200 Hi, a small fix for the 'Customize' menu entry. Thanks. Vincenzo
0001-Fix-Customize-menu-entry.patch
Description: Text Data
--- End Message ---
--- Begin Message ---Subject: Re: bug#71723: 30.0.50; [PATCH] fix 'Customize' menu entry Date: Sun, 23 Jun 2024 07:52:11 +0300 > From: Vincenzo Pupillo <v.pupillo@gmail.com> > Date: Sat, 22 Jun 2024 22:50:10 +0200 > > a small fix for the 'Customize' menu entry. Thanks, installed.
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |