Re: gnulib-tool.py: Display specified modules in bold.

[Bruno Haible]

Hi Collin,

> I noticed that the bold printing was missing.

Thanks! Applied.

> One of the most important changes I've made yet.

:-)