[Pkg-cli-apps-commits] [fsharp] 03/06: Use single-debian-patch and cherry-picks from master

[Christopher Halse Rogers]

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

raof-guest pushed a commit to branch master
in repository fsharp.

commit f347624248cc6008bf37d254696b01a33df5b4f9
Author: Christopher James Halse Rogers <raof at ubuntu.com>
Date:   Fri Jul 11 16:30:00 2014 +1000

    Use single-debian-patch and cherry-picks from master
---
 debian/source/local-options      | 1 +
 debian/source/local-patch-header | 6 ++++++
 2 files changed, 7 insertions(+)

diff --git a/debian/source/local-options b/debian/source/local-options
new file mode 100644
index 0000000..7423a2d
--- /dev/null
+++ b/debian/source/local-options
@@ -0,0 +1 @@
+single-debian-patch
diff --git a/debian/source/local-patch-header b/debian/source/local-patch-header
new file mode 100644
index 0000000..a4db205
--- /dev/null
+++ b/debian/source/local-patch-header
@@ -0,0 +1,6 @@
+These are patches cherry-picked from upstream - https://github.com/fsharp/fsharp.git
+
+They are applied inline, rather than as separate patches, so that they
+automatically go away once the upstream release containing them is merged in.
+
+See the Debian git history for details

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-cli-apps/packages/fsharp.git