Merge with stable default tip
authorChristian Ebert <blacktrash@gmx.net>
Fri, 02 May 2014 09:39:06 +0200
changeset 1373 7e193663b0d6
parent 1371 3b0bcc658eef (diff)
parent 1372 8d921a12dd31 (current diff)
Merge with stable