profile/tools.json: tier-3 trio now ships Phase 0 contract#13

rafael5 merged 1 commit into

mainm-dev-tools/.github:mainfrom

chore/tier3-companion-pointersm-dev-tools/.github:chore/tier3-companion-pointersCopy head branch name to clipboard