diff options
| author | Linus Nordberg <linus@nordu.net> | 2017-02-02 13:38:54 +0100 |
|---|---|---|
| committer | Linus Nordberg <linus@nordu.net> | 2017-02-02 13:38:54 +0100 |
| commit | f481bd4f30a00fa3d4a5b4aecd0f881b1f5b58f5 (patch) | |
| tree | 79142665a6db406ae004101e39d715d2c0ef348c /tools | |
| parent | 6610afbf6a5e802fc15733d6a499281cd981af13 (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