Re: [chuck-users] New version of VSCode ChucK extension has been released