Re: [firedrake] Applying bcs when using LinearSolver