Did I mess this up, too? Another subproject commit  . . .