Hi Thomas,
On 3/13/16 8:20 PM, Thomas Munro wrote:
> <...> I will have another look at this in
> a few days but for now I need to do some other things, so I'm posting
> these observations in case they are in some way helpful...
It's not clear to me what state this patch should be in but the thread
has been idle for over a week.
Have you had the chance to take a look as you indicated above?
Thanks,
--
-David
david@pgmasters.net