diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-19 22:18:18 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-06-19 22:18:18 +0100 |
commit | 491eda61e30c90329e18f49499278fe3d7e9ccad (patch) | |
tree | d7bb6c3d9eface9d57cb9e608679b56af9ee2d8c /docs/dev/guide.md | |
parent | 1d4388f6bd02e6dda816028f0bdac7b39225ca0b (diff) | |
parent | d6e89244ec46bc4d12388975082beeba85ff0b9b (diff) |
Merge #4955
4955: Update workaround comment r=matklad a=Veetaha
Co-authored-by: Veetaha <[email protected]>
Diffstat (limited to 'docs/dev/guide.md')
0 files changed, 0 insertions, 0 deletions