bors 0531aab522 Auto merge of #13397 - zyctree:zyctree-patch-2, r=lnicola ... fix link in syntax.md		2022-10-16 17:40:21 +00:00
..
dev	Auto merge of #13397 - zyctree:zyctree-patch-2, r=lnicola	2022-10-16 17:40:21 +00:00
user	Update manual now stable can be installed with rustup	2022-10-10 19:00:47 +02:00