cwitty: williamstein, did you notice mabshoff's comment on your #1107 patch? Evidently it no longer applies.
[9:13pm] williamstein: Thanks.
[9:16pm] williamstein: actually it's fine -- the one hunk that doesn't get applied with 1107 doesn't apply because it is already applied in the current sage.
[9:16pm] williamstein: So it's OK. Just ignore the one hunk that fails.