13 May
2009
13 May
'09
9:56 p.m.
On Wed, May 13, 2009 at 6:31 PM, Don Stewart
Do you have a patch?
No. This was a while ago, and the changes really are trivial. I thought about submitting it, but it seemed to me that the change could only be useful when people upgrade their entire compiler/library infrastructure - link errors otherwise - and I wasn't sure it was worth paddling upstream libraries@. -- gwern