Docs: Workaround for ReadTheDocs bug

This commit is contained in:
Ivan Kravets
2020-03-14 20:32:42 +02:00
parent a22ed40256
commit ba040ba2ba

2
docs

Submodule docs updated: fe9f6afa8c...84da817882