diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-09-05 15:35:57 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2019-09-05 15:35:57 +0100 |
commit | 566c26cbb111981cf861135a15e9ae7912a2083d (patch) | |
tree | 52ce4981db6087e70015c3b48e24f9e3625b99bf /website/website-gen | |
parent | a5aeae15ed0b840df9c48883722caabdb312f3dd (diff) | |
parent | 4854408f284e5b4290be00293b31d63140862be6 (diff) |
Merge #1764
1764: close #1763 r=matklad a=ivfranco
Close #1763 for now
Co-authored-by: ivfranco <[email protected]>
Diffstat (limited to 'website/website-gen')
0 files changed, 0 insertions, 0 deletions