Subject: Remove branches develop-orig and ci?
From: Mateusz Loskot (mateusz_at_[hidden])
Date: 2018-12-15 18:53:18
Is it safe to remove this branch?
What is the purpose of this one, safe to remove?
-- Mateusz Loskot, http://mateusz.loskot.net
Boost list run by Boost-Gil-Owners