aboutsummaryrefslogtreecommitdiff
path: root/editors/code
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-04-04 16:42:19 +0100
committerGitHub <[email protected]>2021-04-04 16:42:19 +0100
commit0924888cce5f48e0ea0dc7fd8641db92850ef660 (patch)
tree1507aa873ea92a69b3df4ce2d4f51b0c9191c774 /editors/code
parentbc8b27884132a4dbfa019f7d3d5fcbbf9f4912af (diff)
parentd1474ae51806cd5382c988fac1cf70a7f2718f4a (diff)
Merge #8325
8325: Check if bitflags deps pulls its weight r=jonas-schievink a=matklad Bitflags is generally a good dependency -- it's lightweight, well maintained and embraced by the ecosystem. I wonder, however, do we really need it? Doesn't feel like it adds much to be honest. Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code')
0 files changed, 0 insertions, 0 deletions