diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-10-09 23:46:25 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-10-11 00:58:03 +0100 |
commit | 38935cb46dedcb9705b0e5e006280a901279975c (patch) | |
tree | 1f30d69132a000277828fb2efe709252d6713c0c /debian | |
parent | 8ac9071b25d42de4f1f6b9ade2f8d36d8d91b135 (diff) |
dgit: Avoid crash if branch_is_gdr finds an origin commit
Closes: #910687.
Reported-by: Mattia Rizzolo <mattia@debian.org>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions