release: cut the 8.0.2 release#1880
Merged
VladimirAmiorkov merged 12 commits intoreleasefrom Jun 28, 2019
Commits
Commits on Jun 18, 2019
- authored andZdravko BranzovcommittedZdravko Branzov
- authoredZdravko
Commits on Jun 19, 2019
- committed
- committed
- authoredVladimir Amiorkov
Commits on Jun 25, 2019
Commits on Jun 26, 2019
- authoredAlexander Vakrilov
Commits on Jun 27, 2019
- authored andAlexander VakrilovcommittedVladimir Amiorkov
Commits on Jun 28, 2019
- committedVladimirAmiorkov
- committedVladimirAmiorkov
- committedVladimirAmiorkov