commit | b0cb988420d7f1fa8e09fd44d053c0af05c635f3 | [log] [tgz] |
---|---|---|
author | Miss Islington (bot) <31488909+miss-islington@users.noreply.github.com> | Sun Jun 16 01:32:30 2019 -0700 |
committer | GitHub <noreply@github.com> | Sun Jun 16 01:32:30 2019 -0700 |
tree | d2c1cf6b30b7a2a15babc512780fd06cc767edf6 | |
parent | 58a1a76baefc92d9e2392a5dbf65e39e44fb8f55 [diff] |
Doc: Remove an ugly space before a dot. (GH-14123) (cherry picked from commit 552951563cd5968d25e95306362e41f07d661a88) Co-authored-by: Julien Palard <julien@palard.fr>