Is there a release date for the Pixhawk 4 Mini?

#1

Does anyone know if there is any scheduled release date for the Pixhawk 4 Mini? I searched around but couldn’t find anything. Thanks!

James