diff THANKS @ 721:9b15028ddc1b

fix mainline version
author Sebastien Jodogne <s.jodogne@gmail.com>
date Fri, 14 Feb 2014 12:45:51 +0100
parents e874e1b0b9cf
children 7c84065f9703
line wrap: on
line diff