This repository was archived by the owner on Oct 12, 2022. It is now read-only.

CircleCi: merge PRs with upstream branch#1723

Merged

andralex merged 1 commit intodlang:masterfrom

wilzbach:use-merge-for-circleci

Dec 24, 2016

Commits on Dec 23, 2016

CircleCi: merge PRs with upstream branch
wilzbach
committed