diff options
| author | Maxime Dénès | 2019-03-04 13:30:17 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-03-04 13:30:17 +0100 |
| commit | b4794c19aef3c076472adabdbf7cc78c89d84b74 (patch) | |
| tree | cf34559f56721abba9b9499b3d35aa44a6881be0 /kernel/nativecode.mli | |
| parent | 913e377f3d24274215bd7d9d37c0189b8b5eb4a6 (diff) | |
| parent | f70820df5f2da589a302dce5d0cd92988c59ccae (diff) | |
Merge PR #9594: When Nix build is finished and pushed to Cachix, update a specific branch.
Ack-by: SkySkimmer
Ack-by: Zimmi48
Reviewed-by: ejgallego
Ack-by: maximedenes
Reviewed-by: vbgl
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions