tree ee31fbd8b8c2f4559859b797feb8320c42bd90e1
parent 528ce2541e4a07a3a1a5381e760cb4c047b1f34e
author Ian Zerny <zerny@google.com> 1656492521 +0200
committer Ian Zerny <zerny@google.com> 1656492521 +0200

Compute the correct "isPinned" in synthetic groups.

Change-Id: I4d093e90d575a9787132e3ae06f2861dcd53b632