diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-05 14:59:13 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-05-05 14:59:13 +0000 |
| commit | 4d7dff992d7aef6775744f91ce2766d164f4a5da (patch) | |
| tree | de2e7c8d30e8ef7b9ac5865625ab308ff3c104d9 /util | |
| parent | 670a6de77a0aee53296ac8741853cbec1b416f8d (diff) | |
| parent | 1ca2cd491bc0f70aa2893c7e39e0389345a7728b (diff) | |
Merge #318v1.8.0
318: release 1.8.0 r=48d90782 a=48d90782
release 1.8.0
Co-authored-by: Valery Piashchynski <[email protected]>
Co-authored-by: Valentin V / vvval <[email protected]>
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions