DD Area chooser: Fix for miscolored digit(s) in # messages column in the sub-board list when using the lightbar menu
DD Area chooser: Fix for miscolored digit(s) in # messages column in the sub-board list when using the lightbar menu
DD Area chooser: Fix for miscolored digit(s) in # messages column in the sub-board list when using the lightbar menu
enabled an automatic merge when the pipeline for f2dbaa4f succeeds
merged
mentioned in commit f2e4b391
mentioned in commit e86ebd31