diff options
| author | Maxime Dénès | 2016-03-11 10:32:14 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2016-03-11 10:36:17 +0100 |
| commit | e9bf68016ce9e04feb63222ff4bbafd27531f564 (patch) | |
| tree | 900e06e4cad2afd1084905f85de0fbe32dd9d2e6 /dev/include | |
| parent | 4341f37cf3c51ed82c23f05846c8e6e8823d3cd6 (diff) | |
According to Bruno, my fix for #4588 seems to be enough.
So adding a test-suite file and closing the bug.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions