Skip to content

dev goal: role:<ROLE> is wrong in BOTH directions for a five-pane role — role:DEV returns 17, of which 1 is mine - #567

Merged
jobordu merged 1 commit into
mainfrom
dev1/queue-query
Aug 22, 2026
Merged

dev goal: role:<ROLE> is wrong in BOTH directions for a five-pane role — role:DEV returns 17, of which 1 is mine#567
jobordu merged 1 commit into
mainfrom
dev1/queue-query

Commits

Commits on Aug 22, 2026