[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#9642: closed (Re: bug#9642: move-overlay creates an empty overlay wi
From: |
Paul Eggert |
Subject: |
bug#9642: closed (Re: bug#9642: move-overlay creates an empty overlay with the evaporate property) |
Date: |
Tue, 29 May 2012 09:16:06 -0700 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:12.0) Gecko/20120430 Thunderbird/12.0.1 |
Thanks, I made some minor changes to that fix and
installed it into the trunk in your name, as bzr 108423.
The minor changes were to shrink the patch by restoring
the original indenting and then-else choices, and to
add a couple of IF_LINTs to pacify gcc -Wall.