On Wednesday 30 December 2015 19:25:04 Paul Eggert wrote: > I installed into Savannah a patch (attached) that should fix this problem in > typical cases, and am boldly marking the bug as done. Please give the fix a > try if you have the time. Thanks.
Thanks for the fixup! I can confirm that it resolves the issue described at: https://bugzilla.redhat.com/1219141 Kamil
