diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/linux-headers-4.19.0-23-686-pae.postinst (renamed from debian/linux-headers-4.19.0-22-686-pae.postinst) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/linux-headers-4.19.0-22-686-pae.postinst b/debian/linux-headers-4.19.0-23-686-pae.postinst index 334dc9c53..1643de6c2 100644 --- a/debian/linux-headers-4.19.0-22-686-pae.postinst +++ b/debian/linux-headers-4.19.0-23-686-pae.postinst @@ -5,7 +5,7 @@ # Debian linux-image postinst script. $|=1; -my $version = "4.19.0-22-686-pae"; +my $version = "4.19.0-23-686-pae"; if (-d "/etc/kernel/header_postinst.d") { system ("run-parts --report --exit-on-error --arg=$version " . |