-
Thomas Miedema authored
Since T10408A and T10408B would become the same now, delete T10408A and rename T10408B to T10408. The test without -ignore-dot-ghci (T10408A) didn't add anything (#10408).
124f3999
Since T10408A and T10408B would become the same now, delete T10408A and rename T10408B to T10408. The test without -ignore-dot-ghci (T10408A) didn't add anything (#10408).