diff options
| author | Tom Taylor | 2023-07-07 14:20:48 +0000 |
|---|---|---|
| committer | GitHub | 2023-07-07 14:20:48 +0000 |
| commit | dc50263ed049f5eb4cec013c269e83e7395f40c2 (patch) | |
| tree | 4cf4537d39f7a3c054d7500426267900f0aa6d4b /runtime/queries/ocaml-interface | |
| parent | 3fb430257e8ae8ca7535025d6895a75665ecf8d4 (diff) | |
Fix incorrect gutter bail message (#7534)
Diffstat (limited to 'runtime/queries/ocaml-interface')
0 files changed, 0 insertions, 0 deletions