release: cut the 8.0.2 release#1880
Merged
Merged
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


Commits on Jun 28, 2019
- authored andcommitted

- committed
VladimirAmiorkov - committed
VladimirAmiorkov - committed
VladimirAmiorkov