tree a655a96528b0ebddab9983bc63e629e30c695163
parent c876923bc2a3d9c6bbc03f275a7fe68333b95600
parent d76bb254e2047023d907f42b026876f89c139612
author Jan Tattermusch <jtattermusch@users.noreply.github.com> 1437154003 -0700
committer Jan Tattermusch <jtattermusch@users.noreply.github.com> 1437154003 -0700

Merge pull request #2483 from stanley-cheung/add_homebrew_to_jenkins

Rename Jenkins script to run_distribution