chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a4a723) | patch
dgit-repos-policy-debian: Remove duplicated text from force message
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 5 Jan 2019 23:27:01 +0000 (23:27 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 6 Jan 2019 00:44:38 +0000 (00:44 +0000)
commit37b5c1d305b5b7362e83ea4cbfdab4b9544031d3
tree8d54df99b062653b356737095cfb0a73ac8c5045tree | snapshot
parent2a4a723706efc5c7f520b01acc7ce211338d6beecommit | diff
dgit-repos-policy-debian: Remove duplicated text from force message

$ovwhy is from SELECT deliberately ... WHERE ... OR deliberately = ?
where ? is a key in %deliberately which came from the command line
where it already contains --deliberately=.

Closes: #913676
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
infra/dgit-repos-policy-debian diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.