bug: bad comparsion between extension types#7523

joseph-isaacs wants to merge 1 commit intodevelopvortex-data/vortex:developfrom

ji/timestamp-bugvortex-data/vortex:ji/timestamp-bugCopy head branch name to clipboard