stan-dev/cmdstan — pull request #9 by syclik (2014-05-19 15:05:57+00:00)
Title: updating stan-pr make target so it automatically merges

Hopefully this fixes some of the merge failures on Jenkins.