Fix srtool

changed milestone to %runtime-802

added RN-runtime label

assigned to @bgallois

added 1 commit

• 3de9028e - fix srtool

Compare with previous version

added P2-asap label

marked this merge request as ready

requested review from @HugoTrentesaux

approved this merge request

added 2 commits

• f56ea6c3 - 1 commit from branch master
• 37266eca - fix srtool

Compare with previous version

mentioned in commit ddf8860f

merged