diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2019-07-27 07:37:46 +0100 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2019-07-27 07:37:46 +0100 |
commit | 52a1202279ebb2bbeb8f69e11e9f5cb0c92830d8 (patch) | |
tree | 46a344c36e51604dfefc66219312aebc06bd8039 /git-playtree-setup | |
parent | 8ed77cb09dc854ac3de831b3e64776f6f6528211 (diff) | |
parent | 54f54996175734cf141d4568b16fa0d06a63580f (diff) |
Merge tag 'debian/9.6' into buster-bpo
dgit release 9.6 for unstable (sid) [dgit]
[dgit distro=debian no-split]
# gpg: Signature made Thu 25 Jul 2019 01:13:52 PM BST
# gpg: using RSA key 559AE46C2D6B6D3265E7CBA1E3E3392348B50D39
# gpg: Can't check signature: No public key
Diffstat (limited to 'git-playtree-setup')
-rwxr-xr-x | git-playtree-setup | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-playtree-setup b/git-playtree-setup index 5d890a0..184de4d 100755 --- a/git-playtree-setup +++ b/git-playtree-setup @@ -8,7 +8,7 @@ # cd .git/some/play/thing # git-playtree-setup . -set -ex +set -e${GIT_PLAYTREE_SETUP_DEBUG} target=$1; shift |