# HG changeset patch
# User Jeroen Demeyer <jdemeyer@cage.ugent.be>
# Date 1319892617 0
# Node ID 9e29a3d84c48c399daaf3920bcb8b17273a0e876
# Parent  0f63047948352b6edc3867cb87b8f8545427a49e
4.7.2

diff --git a/sage/version.py b/sage/version.py
--- a/sage/version.py
+++ b/sage/version.py
@@ -1,2 +1,2 @@
 """nodoctests"""
-version='4.7.1'; date='2011-08-11'
+version='4.7.2'; date='2011-10-29'