Merge branch '55-improve-navigation-management' into 'master'
Passed
Benoît Harrault
created pipeline for commit 5470bb72
, finished
For 59-use-flutter-lints
6 minutes 32 seconds, queued for 0 seconds