[DO NOT MERGE] release: cut the 8.0.2#1879
Closed
VladimirAmiorkov wants to merge 9 commits intoreleasefrom
Closed
Commits
Commits on Jun 18, 2019
- authored andcommitted


- authored
Zdravko
Commits on Jun 19, 2019
- committed
- committed
- authored
Vladimir Amiorkov
Commits on Jun 25, 2019
Commits on Jun 26, 2019
- authored
Alexander Vakrilov
Commits on Jun 27, 2019
- authored andcommitted


- committed
VladimirAmiorkov