diff options
| author | Enrico Tassi | 2014-09-09 13:10:48 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-09-09 13:11:38 +0200 |
| commit | 6129d83ad15799b6b9318a1c4fa5fc73ddbb5ad9 (patch) | |
| tree | 39cf17d6c5ec2c57cb19f7d46e9fdd0352217631 /dev | |
| parent | e62aa755e79fbdf69e1073c272ae417fbe9e2a4f (diff) | |
A marshalling failure does not make a worker `Old
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions