[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Patch] useless declaration of 'clip_changed'

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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]