|
From: | Paul Eggert |
Subject: | Re: [Patch] useless declaration of 'clip_changed' |
Date: | Wed, 23 May 2012 23:15:06 -0700 |
User-agent: | Mozilla/5.0 (X11; Linux i686; rv:12.0) Gecko/20120430 Thunderbird/12.0.1 |
Thanks, I pushed that into the trunk as bzr 108347.
[Prev in Thread] | Current Thread | [Next in Thread] |