Merge branch '17-replace-stars-with-mines-in-settings-page' into 'master'
Passed
Benoît Harrault
created pipeline for commit
fe0c57be
, finished
For 18-improve-mines-icons-in-parameters-page
5 minutes 11 seconds, queued for 6 seconds