diff options
| author | Gaëtan Gilbert | 2019-03-20 14:19:54 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-03-20 14:19:54 +0100 |
| commit | ba33839754bb6ac0f85070e95466a2b8030fdc1b (patch) | |
| tree | b0cf9609b4ed10b4acf4474edf0ef471d9e681b7 /dev/doc | |
| parent | b899b102e071ba0faa07949b2ee66bbb7dade23b (diff) | |
| parent | 636857d2e77ee26b4b193f3bbefee253c07dfbff (diff) | |
Merge PR #9776: [kernel] Fix compare_head_gen_leq_with to use [leq] on applications
Reviewed-by: SkySkimmer
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions