diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2017-12-15 17:29:03 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-15 17:29:03 -0800 |
| commit | e764be08256591dfa183d7b3adc750394921574f (patch) | |
| tree | a5b01815809c5d6f9c40f3c91b90e557df16bf7c /.travis.yml | |
| parent | 26214b7b02e90fca270e6bac7d6b64ea1a6d723a (diff) | |
Enable side condition handling for shifts introduced in #1441. (#1444)
PR #1441 forgot to enable the missing side condition handling for shifts. This PR enables it.
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions