Merge problem #136

Trismegiste opened this Issue Nov 29, 2013 · 1 comment


None yet

2 participants

michelf commented Nov 29, 2013

Sorry, it seems I ran the test suite on the wrong repo for a few commits and this slipped by. Now fixed by 1027677.

@michelf michelf closed this Nov 29, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment