webconfig.py: minor polish of is_chromeos_garcon
#8596
Merged
faho merged 1 commit intofish-shell:masterfrom Dec 30, 2021
Merged
webconfig.py: minor polish of `is_chromeos_garcon`#8596faho merged 1 commit intofish-shell:masterfrom
faho merged 1 commit intofish-shell:masterfrom