diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-28 18:34:57 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-01-28 18:34:57 +0000 |
| commit | f51ba7d8a434b537f05b0eba8e97d3af1580cfa9 (patch) | |
| tree | 73a3ed7fa6ae337a1c8cb69f10ff9f0101cd6fce /docs/user | |
| parent | fa1b500d2f412119454de7f9e98ec2664b604108 (diff) | |
| parent | 090b2f0e50b48cd22ac48399bd3c4d17c3e92765 (diff) | |
Merge #7485
7485: Fix incorrect `FileId` and remove broken shortcut r=jonas-schievink a=jonas-schievink
Apparently we were using the crate's root file instead of the file
containing the block.
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions