The source project of this merge request has been removed.
Missed .inc in filename 100-monitor-kernel-version.php
Fixing missed .inc in filename 100-monitor-kernel-version.php related to recently merged commit !791 (merged). It should be named as 100-monitor-kernel-version.inc.php