diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2015-11-18 00:39:05 +0900 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2015-11-18 00:39:05 +0900 |
commit | f9c8675be88426214a92c5f0202ff24c266bbf23 (patch) | |
tree | 41de5bc32c1338e2e902438793d22ce0547c7f8b /tests/pending/pos/t7285a.flags | |
parent | 6b061b5b94fb4e13a97274b28e0ab9ac78b69f27 (diff) | |
parent | c595c56d834113f275f246d681f8acff42059254 (diff) | |
download | dotty-f9c8675be88426214a92c5f0202ff24c266bbf23.tar.gz dotty-f9c8675be88426214a92c5f0202ff24c266bbf23.tar.bz2 dotty-f9c8675be88426214a92c5f0202ff24c266bbf23.zip |
Merge pull request #962 from dotty-staging/fix-#947
Fix #947
Diffstat (limited to 'tests/pending/pos/t7285a.flags')
0 files changed, 0 insertions, 0 deletions