Re: merging in the origin/legacy-pragma git branch

karl williamson wrote:
>At the time Rafael expressed some concern that I was using up a bit from  
>PL_hints,

What do you want the bit for?  Bug fixes don't need to be optional.

-zefram

• merging in the origin/legacy-pragma git branch by karl williamson
• Re: merging in the origin/legacy-pragma git branch by Rafael Garcia-Suarez
• Re: merging in the origin/legacy-pragma git branch by Zefram
• Re: merging in the origin/legacy-pragma git branch by karl williamson
• Re: merging in the origin/legacy-pragma git branch by Zefram
• Re: merging in the origin/legacy-pragma git branch by demerphq
• Re: merging in the origin/legacy-pragma git branch by karl williamson