Re: [SR-Users] HEAD: Problems with $$ in xlog

Hi Hugh! Thanks, the patch works for me. Klaus On 17.01.2013 18:41, Hugh Waite wrote: Hi Klaus, I have found exactly this problem and fixed it this morning! My fixes are usually commited by Peter Dunkley who is away on business, so I've attached my patch. It's not actually a git diff, but I'm

Re: [SR-Users] HEAD: Problems with $$ in xlog

Hi Klaus, I have found exactly this problem and fixed it this morning! My fixes are usually commited by Peter Dunkley who is away on business, so I've attached my patch. It's not actually a git diff, but I'm sure you can see the required change. This change came in when the PV cache was intro