aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorMatthieu Sozeau2016-07-05 18:28:24 +0200
committerMatthieu Sozeau2016-07-05 18:29:37 +0200
commit57021d22fabb33b281af4de8f3946cb4424c6422 (patch)
tree031746971a3bf3118b7473426791f32d5aa079a9 /dev
parent37293bd104434bb15acc7d46b8cba90e70504aac (diff)
congruence fix: test-suite code and update CHANGES
This fixes bugs #4069 (not 4609 as mentionned in the git log) and #4718.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions