IPv6 ?

Good morning

Having here some Arduino MKR 1400 GSM boards to test some Io applications... Now the examples are working great with the board, but I don't see any IPv6 specific library functions...

Will IPv6 be included at some point in MKRGSM library?

Or do I have to look for another boards to get IPv6 connectivity via mobile network?

Reason is that here we have a provider which sells SIM cards with static IPv6 addresses...

thanks in advance richard