Merge pull request #3214 from rpv-tomsk/issue-3181
authorrjablonx <36538481+rjablonx@users.noreply.github.com>
Tue, 16 Jul 2019 10:53:11 +0000 (12:53 +0200)
committerGitHub <noreply@github.com>
Tue, 16 Jul 2019 10:53:11 +0000 (12:53 +0200)
Issue 3181


Trivial merge