fix(devin): restore namespaced tool identities - #4457

fix(devin): restore namespaced tool identities#4457

jeongjin0 wants to merge 1 commit into

lidge-jun:devlidge-jun/opencodex:devfrom

jeongjin0:codex/devin-restore-tool-namesjeongjin0/opencodex:codex/devin-restore-tool-namesCopy head branch name to clipboard