Merge pull request #15009 from keszybz/version-and-doc-updates
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 3 Mar 2020 19:29:12 +0000 (20:29 +0100)
committerGitHub <noreply@github.com>
Tue, 3 Mar 2020 19:29:12 +0000 (20:29 +0100)
commitfbd6ac2601d628edf60c99cdf214e243b0b025ad
tree10e10132fe639748dded6b037162d9b13697251a
parentefd58985f6e6771be7af6dac3256ed7544452359
parentd4de2b2afff6bc1f2d9ca960197bb0388c154221
Merge pull request #15009 from keszybz/version-and-doc-updates

Version and doc updates