bors 9ee080f8b2 Auto merge of #12015 - arjo129:master, r=jonas-schievink ... [Documentation]: Update developer documentation link. Just noticed the docs links broken. The current doc link was broken. replaced with the updated version as found on the front page. Should the rest of the links be updated?		2022-04-21 16:52:10 +00:00
..
dev	Auto merge of #12015 - arjo129:master, r=jonas-schievink	2022-04-21 16:52:10 +00:00
user	Remove old inlay hints settings	2022-04-16 08:05:07 +03:00