summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorLinus Nordberg <linus@nordu.net>2017-02-02 13:38:54 +0100
committerLinus Nordberg <linus@nordu.net>2017-02-02 13:38:54 +0100
commitf481bd4f30a00fa3d4a5b4aecd0f881b1f5b58f5 (patch)
tree79142665a6db406ae004101e39d715d2c0ef348c /tools
parent6610afbf6a5e802fc15733d6a499281cd981af13 (diff)
merge_sth.py doesn't do the right thing when 'sth' is missing.
See CATLFISH-88, CATLFISH-89 for a discussion.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions