master Fixed a bug with Ur/Web's installation

toolset/setup/linux/installer.py

@@ -197,7 +197,7 @@ class Installer:
     #
     # Ur/Web
     #
-    self.__run_command("hg clone -r3cc14f1e47d1 http://hg.impredicative.com/urweb")
+    self.__run_command("hg clone http://hg.impredicative.com/urweb")
     self.__run_command("./autogen.sh", cwd="urweb")
     self.__run_command("./configure", cwd="urweb")
     self.__run_command("make", cwd="urweb")