diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-08-31 18:08:33 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-31 18:08:33 +0000 |
| commit | f46b22f797a728b0de1a6b14141c12ae1f016f8f (patch) | |
| tree | 35edbce452c808cafae49a535b2c15d4115ae5a0 /examples/static.rs | |
| parent | 3ef650832abef24f76c402ede64d1248cf0d0772 (diff) | |
| parent | da1fd6166e893482f99f16714a1c718b445c9579 (diff) | |
Merge #522
522: validate unused dispatchers r=AfoHT a=japaric
closes #521
Co-authored-by: Jorge Aparicio <jorge@japaric.io>
Diffstat (limited to 'examples/static.rs')
0 files changed, 0 insertions, 0 deletions