[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Subject: w32 mouse wheel handling
From: |
Juanma Barranquero |
Subject: |
Re: Subject: w32 mouse wheel handling |
Date: |
Tue, 27 May 2003 10:29:26 +0200 |
On Tue, 27 May 2003 10:12:49 +0200 (CEST)
David PONCE <address@hidden> wrote:
> I not decided to commit that patch.
> Juanma asked me for a Changelog to commit the patch, so I thought it
> was fine with other people.
I routinely commit other people's patches, when RMS asks me to do so. I
suppose he wasn't aware there where objections to this one. I wasn't (I
didn't follow this particular thread).
> Feel free to revert the changes, until a better solution is found.
I agree. If no one does it before, I'll do in about twelve hours.
Juanma
- Re: Subject: w32 mouse wheel handling, (continued)
- Re: Subject: w32 mouse wheel handling, Kim F. Storm, 2003/05/25
- Re: Subject: w32 mouse wheel handling, Kai Großjohann, 2003/05/26
- Re: Subject: w32 mouse wheel handling, Richard Stallman, 2003/05/27
- Re: Subject: w32 mouse wheel handling, David Ponce, 2003/05/28
- Re: Subject: w32 mouse wheel handling, Jason Rumney, 2003/05/29
- Re: Subject: w32 mouse wheel handling, Richard Stallman, 2003/05/29
- Re: Subject: w32 mouse wheel handling, David Ponce, 2003/05/30
Re: Subject: w32 mouse wheel handling, Jason Rumney, 2003/05/26
Re: Subject: w32 mouse wheel handling, Jason Rumney, 2003/05/27
Re: Subject: w32 mouse wheel handling, David PONCE, 2003/05/27
- Re: Subject: w32 mouse wheel handling,
Juanma Barranquero <=
Re: Subject: w32 mouse wheel handling, Stefan Monnier, 2003/05/27