Merge pull request #14968 from keszybz/docs
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Fri, 28 Feb 2020 20:36:12 +0000 (21:36 +0100)
committerGitHub <noreply@github.com>
Fri, 28 Feb 2020 20:36:12 +0000 (21:36 +0100)
commitec0c9d3bcd1f359ab7d2356a31c5f56c72a5702f
treeb61eb6cb9dfcc93138d9ffae2ba19973aa2a6f8d
parent8956caf333ff64aebe56d0e01696e92964dd1a31
parentebb7a2fcb979468c935a9b23f70aee804b69448e
Merge pull request #14968 from keszybz/docs

Assorted updates to documentation