From 0d928f822308d3bb850a28718bb95f4a5735b584 Mon Sep 17 00:00:00 2001 From: Mehdi Dogguy Date: Thu, 22 Dec 2016 00:32:00 +0100 Subject: [PATCH] Update headers of patch 0012-... --- debian/patches/0012-arm-default-PIC.patch | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/debian/patches/0012-arm-default-PIC.patch b/debian/patches/0012-arm-default-PIC.patch index 23277cff..33b08d46 100644 --- a/debian/patches/0012-arm-default-PIC.patch +++ b/debian/patches/0012-arm-default-PIC.patch @@ -1,10 +1,11 @@ -Description: Default to PIC on arm - Otherwise the armhf build fails now that PIE is enabled by default. -Author: Mehdi Dogguy +From: Mehdi Dogguy Date: Sun, 6 Nov 2016 10:36:00 +0100 +Subject: Default to PIC on arm + +Otherwise the armhf build fails now that PIE is enabled by default. + Bug-Debian: https://bugs.debian.org/837359 Forwarded: TODO - --- asmcomp/arm/arch.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) -- 2.30.2