diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-07 13:20:13 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-08-07 13:20:13 +0100 |
commit | 911ef38b24efc3e273f7395578c10e05ceb0cd7b (patch) | |
tree | 86064e398c02cb4eff29200cbc0ae10e324be1a1 /.github/actions/github-release/Dockerfile | |
parent | ae1197accd6150b9ba5e6273794ec7f7500acdc8 (diff) | |
parent | 8e657f663d519771ac8ffcd4b52ded8cb381b918 (diff) |
Merge #5678
5678: Static mut unsafe semantic highlighting r=jonas-schievink a=Nashenas88
This marks static mutable names as unsafe, since accessing or modifying a static mut is an unsafe operation.
Co-authored-by: Paul Daniel Faria <[email protected]>
Diffstat (limited to '.github/actions/github-release/Dockerfile')
0 files changed, 0 insertions, 0 deletions