t / t4252 / file-1-0on commit branch: publish die_if_checked_out() (ed89f84)
   11
   22
   33
   44
   55
   66
   77