The updates on the ecosystem is quite interesting, especially SPARK evolution, and the changes of licenses to Apache in GNAT.