Funny. The 13 and Mini both got price drops (the US price stayed the same I believe).
12 Mini (64GB) was $979 --> 13 Mini (128GB) is $949
13 (64GB) was $1129 --> 13 (128GB) is $1099
12 Mini (64GB) was $979 --> 13 Mini (128GB) is $949
13 (64GB) was $1129 --> 13 (128GB) is $1099