[devel] Fix typo in manual: "was" was "was was".
2 files changed