diff options
author | Rob Austein <sra@hactrn.net> | 2018-08-21 15:07:49 -0400 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2018-08-21 15:07:49 -0400 |
commit | 0a7d6fad15691f444b84810b422e45b9a5024d57 (patch) | |
tree | ccd22acee336a525920ba2419a3736d666080a67 /sw/debian/source/format | |
parent | 8b65d5574935db9131883057e1bf0995c1ae95d6 (diff) |
Add explicit check for timing failure, per Pavel.
Diffstat (limited to 'sw/debian/source/format')
0 files changed, 0 insertions, 0 deletions