ocsigen/deriving — pull request #26 by hnrgrgr (2014-05-24 01:55:17+00:00)
Title: Jenkins now builds PR

It basically executes the ```.jenkins.sh``` in a fresh opam root.