diff options
| author | coqbot-app[bot] | 2021-02-20 21:30:58 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-20 21:30:58 +0000 |
| commit | d65aeab7a4a8f6348011c43bf19a8d839a580695 (patch) | |
| tree | ab0a213eb6186aae8ed638a6fd5a3d44b553520a /kernel/nativelib.ml | |
| parent | a2938972537389b9813794147412f51494f48dd1 (diff) | |
| parent | 0d47e2ce47961d328912e4379080aa92f140b5fd (diff) | |
Merge PR #13874: add changelog for #13867 (Fix missing arities of VM opcodes)
Reviewed-by: jfehrle
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions