Edits #20

Closed
wants to merge 6 commits into
from

Conversation

Projects
None yet
1 participant
Contributor

mnot commented Nov 26, 2013

Started some edits here, but hit some issues; raising them separately.

Contributor

mnot commented Nov 26, 2013

Hmm, I forgot to rebase on edits2, so never mind this one...

@mnot mnot closed this Nov 26, 2013

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment