boostorg/graph — pull request #9 by Belcourt (2014-05-10 02:59:20+00:00)
Title: Merge to master.

Generating a comprehensive PR of changes, may not merge most of these.