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