Skip to content

Fix broken @sean_carroll mention

Sean Carroll requested to merge sean_carroll-master-patch-83951 into master

Was referring to the wrong Sean. 😄

Merge request reports