# HG changeset patch
# User HackBot
# Date 1362714385 0
# Node ID d09e642969f73cd43904bd7b5d0190addd2038d1
# Parent  d90d6cc291f72312afb42b531961f178703b3a35
<oerjan> pastequotes zzo38>.*forall

diff -r d90d6cc291f7 -r d09e642969f7 paste/paste.16517