[Pkg-ocaml-maint-commits] [ocaml] 02/05: Update headers of patch 0012-...

[Mehdi Dogguy]

This is an automated email from the git hooks/post-receive script.

mehdi pushed a commit to branch debian/sid
in repository ocaml.

commit 0d928f822308d3bb850a28718bb95f4a5735b584
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Thu Dec 22 00:32:00 2016 +0100

    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 23277cf..33b08d4 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 <mehdi at debian.org>
+From: Mehdi Dogguy <mehdi at debian.org>
 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(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml.git