[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf
|
From: |
Jim Ursetto |
|
Subject: |
Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf |
|
Date: |
Mon, 17 Jun 2013 21:35:12 -0500 |
On Jun 17, 2013, at 2:06 AM, Felix <address@hidden> wrote:
>
> This is quite a serious bug, and I recommend putting the patch into
> the stability branch.
Applied (with latest changes). Thanks.
Jim
- [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf, Felix, 2013/06/17
- Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf, Peter Bex, 2013/06/17
- Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf, Felix, 2013/06/17
- Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf,
Jim Ursetto <=
- Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf, Jörg F . Wittenberger, 2013/06/18
- Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf, Peter Bex, 2013/06/18
- Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf, Jörg F . Wittenberger, 2013/06/18
- Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf, Peter Bex, 2013/06/18
- Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf, Jörg F . Wittenberger, 2013/06/19
- Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf, Peter Bex, 2013/06/21
- Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf, Jörg F . Wittenberger, 2013/06/21