On 11/12/2010, at 18:17, Michael J Wise wrote: > On Dec 9, 2010, at 2:12 PM, Wietse Venema wrote: > >> Michael, thanks for helping. > > Most welcome, glad I could help. > > Just out of curiosity, and because so many back at the ranch are asking... > Does anyone know if this problem just surfaced, or has been a latent issue > for a long time? > How long has this been going on?
We added the pipelining workaround on November 8th, so early November would be a decent bet, did not see it before then. Removed the workaround when you announced the fix, not seen it since, so it seems to be fixed alright :-) Thanks for the effort! Cya, Jona