The tiniest of tiny patches, as per a current cfe-dev discussion shown below.
gnu_old.diff (585 Bytes)
The tiniest of tiny patches, as per a current cfe-dev discussion shown below.
gnu_old.diff (585 Bytes)
Committed as r138684, thanks! Please send patches to cfe-commits rather than cfe-dev.