chore(mk): update the version of the tools we use#744

Merged

bassosimone merged 1 commit intomasterfrom issue/2100

May 19, 2022

+4-4

Commits on May 19, 2022

chore(mk): update the version of the tools we use
bassosimone
committed