jenkins sync #236

Merged
merged 1 commit into from Oct 10, 2012

Projects

None yet

2 participants

@avsm
Member
avsm commented Oct 10, 2012

No description provided.

@samoht samoht merged commit ba9cbff into ocaml:master Oct 10, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment