| commit | 7d23dbe6d17bb872da5b89a5674cb32a7a1a2b9c | [log] [tgz] |
|---|---|---|
| author | Julien Palard <julien@palard.fr> | Sat Jun 15 15:41:58 2019 +0200 |
| committer | GitHub <noreply@github.com> | Sat Jun 15 15:41:58 2019 +0200 |
| tree | 1079e1fd7cada6a1faeeadd6f2fb5d02d0e24151 | |
| parent | 552ace7498722f1add9f3782751b0d365f4c24c8 [diff] |
Doc: Bump Sphinx verison. (#13785) To reflect the one we're using in production.