DJ Delorie Tue, 28 Jan 2014 13:40:56 -0800
Ping? Or do I need to repost on the patches list?
http://gcc.gnu.org/ml/gcc/2014-01/msg00130.html