|
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] |