ada-deactivate-properties, ada-no-auto-case): Fix typos in docstrings.
Attach a file by drag & drop or click to upload