merge 597530 397757
thanks

On Mon, 20 Sep 2010 23:49 +0200, "Stefan Monnier"
<monn...@iro.umontreal.ca> wrote:
> > See #397757 why this would be correct.
> Agreed.  I guess this can be merged with #397757.

Hence.

/* era */

-- 
If this were a real .signature, it would suck less.  Well, maybe not.



-- 
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to