seemed to be pending, so committed and pushed - though I didn't change
the file.