Add Scrutinee binder removal.
authorMatthijs Kooijman <matthijs@stdin.nl>
Mon, 7 Dec 2009 14:17:42 +0000 (15:17 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Mon, 7 Dec 2009 14:17:42 +0000 (15:17 +0100)

No differences found