RelNoteson commit Merge branch 'jk/push-delete-ref-error-message' (f06d47e)
   1Documentation/RelNotes/1.7.12.txt