diff options
| author | Jimmy Miller <[email protected]> | 2022-10-13 18:17:13 -0400 |
|---|---|---|
| committer | GitHub <[email protected]> | 2022-10-13 18:17:13 -0400 |
| commit | 93a87f4963703a709bf974c48f76a5503f31f53f (patch) | |
| tree | ce7cfe89674c985451a57d14b874988a598dab1a /yjit/src/utils.rs | |
| parent | e5058b58c22e19d559b1122d94af5af3931aa416 (diff) | |
Make op_ext an optional for code clarity (#6542)
Notes
Notes:
Merged-By: maximecb <[email protected]>
Diffstat (limited to 'yjit/src/utils.rs')
0 files changed, 0 insertions, 0 deletions