[Q] S4 Mini GT-i9190 vs S4 Mini i9190? topic

I'm looking at buying a Samsung S4 Mini to put Cyanogenmod on, and I notice that some say GT-i9190 while most are listed as i9190 (on Australian webshops at least). Can I assume that these GT and non-GT i9190 phones are actually the same?