tree 479b605483022d25cfb237928e1ee428d67e8dec
parent c679a5510222cb861a2a23088d1365707d1e0d6f
author Nicholas Nethercote <n.nethercote@gmail.com> 1715898204 +1000
committer Nicholas Nethercote <n.nethercote@gmail.com> 1716408197 +1000

Use `JointHidden` in a couple of suitable places.

This has no notable effect, but it's appropriate because the relevant
tokens are followed by delimiters.