PL1

updated referenced submodule sdl2promela

Juan Font Alonsorequested to merge
feature-n7s-sdl2promela-sync into feature_bullseye

Merge request reports

Provided with ❤️ by esait | 📜 Terms of Service | 📊 Live metrics | 📝 Our Documentation | 💬 Need assistance? esait.service.desk@esa.int