diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-01-08 06:14:24 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-08 06:14:24 +0000 |
| commit | 4a16310443002ae8cca946d94775ca38172a7885 (patch) | |
| tree | 09a8b3ddec1a807d74fff042db0bade36d717f77 /examples/binds.rs | |
| parent | 2c921ac67c2e16f8d473a5825c7e29c681753f92 (diff) | |
| parent | 20f1c396d5d32d3a6b15faa31b01bee5b7855b27 (diff) | |
Merge #585
585: Fix the locals.rs comment r=korken89 a=keadwen
I believe that is a typo s/shared/local_to_bar
Co-authored-by: Jakub Młynarczyk <jkbmlynarczyk@gmail.com>
Diffstat (limited to 'examples/binds.rs')
0 files changed, 0 insertions, 0 deletions