diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2018-06-20 09:08:13 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-06-20 09:08:13 +0200 |
commit | c6b3f6659eda9b0b255ddc2d24accdd998b5938d (patch) | |
tree | b2d8382f3500f1cf7756acdf24f8f68c7eb6b5a8 /doc/man-prologue.xhtml | |
parent | f94a2a2c8ead4895c9499ce7d768f7e153efccdf (diff) |
Fix race in phase switch during failure
Diffstat (limited to 'doc/man-prologue.xhtml')
0 files changed, 0 insertions, 0 deletions