chore(master): Release 0.13.0#3

github-actions[bot] wants to merge 1 commit intomainspotandjake/binaryen.ml:mainfrom

release-please--branches--master--components--binaryen.mlspotandjake/binaryen.ml:release-please--branches--master--components--binaryen.mlCopy head branch name to clipboard