tree c6473ec816c723eda38cd9ac5ccf32415a199a4e
parent d01e28f41f8810c8ea422b854f8722659589fa99
author Werner Lemberg <wl@gnu.org> 1544440314 +0100
committer Werner Lemberg <wl@gnu.org> 1544440453 +0100

Minor documentation updates and fixes.