12.5 preparation

[Eric Barboni]

Hi folks,

Just a kind reminder to review / merge / commit before 12.5 to have your
change incorporated in.

 

And and do not forget that we have 4 pages of PR some being very old. Are
thoose PR stilll needed ?

 

 

All the best !!

 

Skygo