# HG changeset patch # User Volker Grabsch # Date 1266757705 -3600 # Node ID 4007133e5825f6d3ce822bf2637057ba9f326dd2 # Parent 484c8efc8d918402b3a9c6572bec0bd0d0145d61 Release 2.12