|
From: | martin rudalics |
Subject: | bug#21666: Bug is indeed undo-list and GC related |
Date: | Sun, 13 Mar 2016 21:12:59 +0100 |
I did check and, unless I am missing something subtle, the fixes did get merged.
Thanks for checking. martin
[Prev in Thread] | Current Thread | [Next in Thread] |