tree fc74404d7b045a9e05e40bfe2d5f3ba5ddc62db8
parent d79729145c05d4d25596117d6cd8f823c9ca9c51
author gdupe <gdupe@mia-software.com> 1393847088 +0100
committer gdupe <gdupe@mia-software.com> 1393847110 +0100

Switching to the released version.