diff options
Diffstat (limited to '')
| -rwxr-xr-x | debian/linux-headers-6.1.0-19-armmp.postinst (renamed from debian/linux-headers-6.1.0-18-armmp.postinst) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/linux-headers-6.1.0-18-armmp.postinst b/debian/linux-headers-6.1.0-19-armmp.postinst index ce3ef7ac0..5aeb06df2 100755 --- a/debian/linux-headers-6.1.0-18-armmp.postinst +++ b/debian/linux-headers-6.1.0-19-armmp.postinst @@ -5,7 +5,7 @@ # Debian linux-image postinst script. $|=1; -my $version = "6.1.0-18-armmp"; +my $version = "6.1.0-19-armmp"; if (-d "/etc/kernel/header_postinst.d") { system ("run-parts --report --exit-on-error --arg=$version " . |