$include_dir="/home/hyper-archives/boost/include"; include("$include_dir/msg-header.inc") ?>
Subject: [boost] Pushing develop changes for a library
From: Edward Diener (eldiener_at_[hidden])
Date: 2013-12-05 00:55:51
I would like to push some develop changes for a Boost library for which
I have write access using git. Do I have to notify anyone controlling
the Boost superproject about this ?