Documentation coverage reports

Below you can find the latest documentation coverage for pull requests opened on GitHub.

Pull Requests:

• PR #139 (03/30/20 23:29:45)
• PR #138 (02/28/20 13:00:48)
• PR #137 (02/07/20 15:01:28)
• PR #137 (02/07/20 14:42:11)
• PR #135 (01/30/20 13:56:14)