-
unknown authored
re-added Jeremy's merged out note updated changes section with recent bug fix info Docs/manual.texi: re-added Jeremy's merged out note updated changes section with recent bug fix info214366fd
re-added Jeremy's merged out note
updated changes section with recent bug fix info
Docs/manual.texi:
re-added Jeremy's merged out note
updated changes section with recent bug fix info