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 /hosts/cbxi4b-armhf-rb/etc/munin/plugins | |
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 'hosts/cbxi4b-armhf-rb/etc/munin/plugins')
0 files changed, 0 insertions, 0 deletions