chore(core-deps): update protelis to v18.7.2 (patch)#5273
Open
renovate[bot] wants to merge 1 commit intomasterfrom
Open
chore(core-deps): update protelis to v18.7.2 (patch)#5273renovate[bot] wants to merge 1 commit intomasterfrom
renovate[bot] wants to merge 1 commit intomasterfrom
![renovate[bot]](https://avatars.githubusercontent.com/in/2740?v=4&size=32){kind=avatar}