diff options
author | Mattia Rizzolo <mattia@debian.org> | 2017-10-18 07:19:20 +0200 |
---|---|---|
committer | Mattia Rizzolo <mattia@debian.org> | 2017-10-18 07:19:23 +0200 |
commit | 3b8f210d769e3dd7eeaee5cddab8b9348929b397 (patch) | |
tree | 5771f5dbe43773ff206d1719f06172fc37e3a738 /userContent/presentations/2016-11-30-Profitbricks/lib/font/source-sans-pro | |
parent | 6f530c2421b11b9a08ce9bebce6e2b290699b4e6 (diff) | |
download | jenkins.debian.net-3b8f210d769e3dd7eeaee5cddab8b9348929b397.tar.xz |
reproducible: health_check: include the running kernel version when reporting multiple kernel installed in /boot
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
Diffstat (limited to 'userContent/presentations/2016-11-30-Profitbricks/lib/font/source-sans-pro')
0 files changed, 0 insertions, 0 deletions