Revert "Update the random repo again, now the patch is actually pushed"

This reverts commit a40e7d7082ac75b4629db9bda75366519f3218a0.