diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-03 07:47:18 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-06-03 07:47:18 +0100 |
commit | 68f26dc1bbdbe4f403e24a677c5b50fbe43292a9 (patch) | |
tree | 3d724f2433fc3e5907a6b1af889d32a747e401aa /docs | |
parent | 1bbbeb886da16fc0d1c576a9ee306b7fb347f6b4 (diff) | |
parent | 8101ea0fdc9d2be2d3926b22af8167f7155ff0c7 (diff) |
Merge #4679
4679: Update a comment for the new source organization r=matklad a=nelhage
Co-authored-by: Nelson Elhage <[email protected]>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions