diff options
| author | DjDeveloper <43033058+DjDeveloperr@users.noreply.github.com> | 2022-01-11 15:01:52 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-11 15:01:52 +0530 |
| commit | a7ea93b978d366a214a9fdad085d1c9a1a0c3abf (patch) | |
| tree | 5235de63bebf5097bdb681e9610e31477aab69b8 /cli/tools/coverage/merge.rs | |
| parent | 5680d33dd91af30d085ecd991e74dd56e367e8ea (diff) | |
fix(ext/ffi): `pointer` type can accept `null` (#13335)
Diffstat (limited to 'cli/tools/coverage/merge.rs')
0 files changed, 0 insertions, 0 deletions