
21 Nov
2013
21 Nov
'13
11:45 a.m.
On Thu, Nov 21, 2013 at 8:11 AM, Edward Kmett
I'd like to hash this out a bit further. As this issue affects vector primarily, it is outside of the scope of the core library committee per se, and is largely up to Roman as the maintainer of vector.
Remember that Roman has fairly explicitly resigned as the maintainer of vector for want of time, so someone else needs to take up the crusade here.