Filed bug #801685 so Manuel can make the improvements later, without blocking this branch.
« Back to merge proposal
Filed bug #801685 so Manuel can make the improvements later, without blocking this branch.