update changelog
authorRoss Paterson <ross@soi.city.ac.uk>
Tue, 15 Dec 2015 19:42:34 +0000 (19:42 +0000)
committerRoss Paterson <ross@soi.city.ac.uk>
Tue, 15 Dec 2015 19:42:34 +0000 (19:42 +0000)
commit4eacac0cd9e8643e50ad0224ddafb0b1549f6662
tree13c51d2fb306456220a94682566d31f5005a9f3e
parentd26c784d84cbe6034ccd0d8d6590d6c107665feb
update changelog
changelog