Subject: Re: bug#11935: XINT etc. should be functions
From: Paul Eggert <[email-masked]>
To: Stefan Monnier <[email-masked]>
Cc: [email-masked]
Date: Sun, 16 Jun 2013 23:05:18 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

On 06/15/2013 07:22 AM, Stefan Monnier wrote:
> Looks OK to me, thank you,

OK, I installed that as trunk bzr 113012
and am marking this as done.