diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-07-09 15:07:53 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-07-09 15:08:19 -0400 |
| commit | 79de0bb85e576b20117ce867ed76aab74815098d (patch) | |
| tree | 1610a43fd5cc605aa0b537e67341ac73536b3742 /.ghci | |
| parent | 32a2bf7d2050f8d639e41645069d745f7b7d56a3 (diff) | |
prospective fix for bad_merge_commit_deleting_all_files
Assuming my analysis of a race is correct. In any case, this certianly closes a
race..
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions