[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#25424:
|
From: |
Eli Zaretskii |
|
Subject: |
bug#25424: |
|
Date: |
Fri, 22 Mar 2019 15:15:35 +0200 |
> From: Tijs Mallaerts <tijs.mallaerts@gmail.com>
> Date: Fri, 22 Mar 2019 11:33:08 +0100
>
> Could someone please verify if this patch is ok?
Sorry for the delay, CC'ing the relevant maintainer.
Michael, could you please look at the patch proposed in
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=25424#10?
Thanks.
- bug#25424:, Tijs Mallaerts, 2019/03/22
- bug#25424:,
Eli Zaretskii <=