diff options
| author | Théo Zimmermann | 2020-05-16 19:08:22 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-16 19:08:22 +0200 |
| commit | accac86855ce0ca6e5e18efe88aeb7d46785fcc6 (patch) | |
| tree | 566e66cd7425a6fb08526c934e3627189e29947d /kernel/nativevalues.ml | |
| parent | ebaaa7371c3a3548ccec1836621726f6d829858a (diff) | |
| parent | 40af9cd6effd53f18c3b4677929abeb07d7678e0 (diff) | |
Merge PR #12335: Clarify release-process.md
Reviewed-by: Zimmi48
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions