Paul Eggert wrote:
OK, thanks, I installed that, after tightening up the documentation a bit. Here's the documentation patch I installed.
Great! A note in NEWS might be worthwhile as well.
Paul Eggert wrote:
OK, thanks, I installed that, after tightening up the documentation a bit. Here's the documentation patch I installed.
Great! A note in NEWS might be worthwhile as well.