diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-06-24 15:13:33 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-06-24 15:13:33 -0400 |
| commit | 05c18725cb0ae097bb56f74e88a89b13a5253f9e (patch) | |
| tree | 6b11ed5d6e8380d87204e502e497a020773f2748 /kernel | |
| parent | efba96ef1cbbc38a3ca50194774f69e4132fa1b8 (diff) | |
| parent | 90aa46819c8f0c4ed2813f69ddfe4b65708135be (diff) | |
Merge PR #7895: Revert "Add a note about [ci skip] in CI README."
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions