Subject: [boost] [github] Super-project not updating.
From: Rene Rivera (grafikrobot_at_[hidden])
Date: 2017-08-25 14:56:34
It seems that the super-project is not getting updated for any branch since
yesterday.
-- -- Rene Rivera -- Grafik - Don't Assume Anything -- Robot Dreams - http://robot-dreams.net -- rrivera/acm.org (msn) - grafikrobot/aim,yahoo,skype,efnet,gmail