|
From: | Morgan Smith |
Subject: | bug#64064: [PATCH 0/4] debbugs improvements |
Date: | Sun, 18 Jun 2023 15:26:32 -0400 |
User-agent: | Gnus/5.13 (Gnus v5.13) |
Michael Albinus <michael.albinus@gmx.de> writes: > > I've added another patch which sets > the mouse-face property; this was lost in your patch. > Thanks for catching that! Reading is not my strong suit :P. Sometimes I just feel like deleting code without reading it. Thanks, Morgan
[Prev in Thread] | Current Thread | [Next in Thread] |