bors[bot] 3dfc461f1e Merge #4536 ...

4536: Fix names of launch configuration in dev docs r=kjeremy a=kuy

Follows renaming of launch configurations in 80a42a0628

Co-authored-by: Yuki Kodama <endflow.net@gmail.com>

2020-05-20 19:04:02 +00:00

..

dev

Fix names of launch configuration in dev docs

2020-05-21 03:01:37 +09:00

user

Fix GNOME spelling

2020-05-20 20:11:14 +02:00