Skip to content

Auto merge of #13874 - torhovland:old-syntax-suggestion, r=weihanglo #17

Auto merge of #13874 - torhovland:old-syntax-suggestion, r=weihanglo

Auto merge of #13874 - torhovland:old-syntax-suggestion, r=weihanglo #17

cargo_deny (bans licenses sources)

succeeded May 9, 2024 in 38s