When was decimal floating point added to gcc?

[Gerald Pfeifer]

On Sun, 3 Jun 2007, Ben Elliston wrote:
>> Are they mentioned in any gcc changes.html?
> No, they're not.  They probably should be.

Do you think we could talk the submitters/maintainers into donating a 
patch? :-)

Gerald