diff options
| author | Karel Kočí <karel.koci@nic.cz> | 2019-05-15 08:54:40 +0200 |
|---|---|---|
| committer | Karel Kočí <karel.koci@nic.cz> | 2019-05-15 08:54:40 +0200 |
| commit | 86f53a0846336459f99cfa2906e6215214dc6819 (patch) | |
| tree | babeff0188950ef8cdeab0dcdf10a308f6dd0a7a /virtual/linux-sources | |
| parent | a7712a1918b4bcce508160f2804c5e63c555318e (diff) | |
| download | gentoo-personal-overlay-86f53a0846336459f99cfa2906e6215214dc6819.tar.gz gentoo-personal-overlay-86f53a0846336459f99cfa2906e6215214dc6819.tar.bz2 gentoo-personal-overlay-86f53a0846336459f99cfa2906e6215214dc6819.zip | |
sys-kernel/linux: update to 5.1.2
Diffstat (limited to 'virtual/linux-sources')
0 files changed, 0 insertions, 0 deletions