cc0364e72 ^
70a30317f ^
d4850b524 ^
1
2
3
4 5 6
7 8 9 10 11
discard """ sortoutput: true output: ''' 2 1 ''' """ # this test should ensure that the output is actually sorted echo "2" echo "1"