|
| From: | Alan Mackenzie |
| Subject: | bug#37733: Acknowledgement ([PATCH]: Erroneous grep call thows exception in compilation-tear-down-arrow-spec-in-margin.) |
| Date: | Sun, 13 Oct 2019 13:22:42 +0000 |
| User-agent: | Mutt/1.10.1 (2018-07-13) |
Bug fixed in the master branch. -- Alan Mackenzie (Nuremberg, Germany).
| [Prev in Thread] | Current Thread | [Next in Thread] |