On Sun, 13 Nov 2011, Richard Henderson wrote: >> I assume the ChangeLog entry also should refer to GNU/Linux? > Meh. It really does refer specifically to the Linux kernel, > and not the GNU userland.
Ah, cool then. The comment, however, reads /* Linux always uses gas. */ which does seem to warrant GNU/Linux in RMS diction. Gerald