From: Mehdi Dogguy Date: Wed, 21 Dec 2016 23:32:00 +0000 (+0100) Subject: Update headers of patch 0012-... X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~33^2~6 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=0d928f822308d3bb850a28718bb95f4a5735b584;p=ocaml.git Update headers of patch 0012-... --- 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(-)