Yes, they did. Exact same dimensions except the thickness (which is fine I'd have preferred a thicker 12 mini with much more battery). Thing is I bought 12 min

Yes, they did. Exact same dimensions except the thickness (which is fine I'd have preferred a thicker 12 mini with much more battery). Thing is I bought 12 mini 3 weeks ago (replaced my 4 years old iPhone 7). It was way cheaper than 13 mini at the time of that sale. Also the only thing important for me in 13 mini better than 12 mini was battery which isn't that significant a difference imho. I hope to use 12 mini for at least 3 more years. Wouldn't want to buy a 13 mini to replace a 12 mini then. I would want a 15 or 16 mini at that time (or equivalent).