diff options
| author | Maxime Dénès | 2017-06-14 18:05:15 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-06-14 18:05:15 +0200 |
| commit | e9ad450304fca010812a04e8417b111f4910156a (patch) | |
| tree | b25ab1cb8ddce0bab4ad6935aed52d6679ee3b46 /API | |
| parent | d7dc4d4082d76e480b6d9932dcfad64249565e80 (diff) | |
| parent | 9ea1cae62c5335eb7f1dcc14df1dc0b97dfb48e7 (diff) | |
Merge PR#738: [kernel] Improve proof using message, fixes bugzilla #3613
Diffstat (limited to 'API')
0 files changed, 0 insertions, 0 deletions