The following patch https://gcc.gnu.org/ml/gcc-patches/2014-05/msg01860.html
has been submitted more than a month ago, and everything but the build parts has been approved. Unfortunately, the build parts still need review, despite several reminders. I'd be really greatful if one of the build maintainers could have a look. Thanks. Rainer -- ----------------------------------------------------------------------------- Rainer Orth, Center for Biotechnology, Bielefeld University