Apparently no, so I went ahead and pushed it as

94bb6a5a88b17da1178fdc1d16cb87b9913bc1c1.

Ludo’.