boostorg/config — pull request #6 by ahmedcharles (2014-02-11 09:55:31+00:00)
Title: Merge master into develop.

Both master and develop are currently the same, so they should effectively have each other as parents to make future merges easier.