firedrakeproject/firedrake — pull request #154 by wence- (2014-01-28 13:52:11+00:00)
Title: Fix/snes x u

Turning on snes_monitor for linear solves of mixed problems broke things, this fixes it.