Re: [Groff] html-mm stuff

[Werner LEMBERG]

> Anyhow, since I got no real comments from anyone about my fix
> strategy, [...]

Remember that many groff people are located in different time zones.
Additionally, there are various holidays which make the reaction time
even longer.


    Werner