Subject: [boost] [ublas] How to merge a PR?
From: FrÃ©dÃ©ric (ufospoke_at_[hidden])
Date: 2018-09-09 19:42:09
I submitted a PR 1 month ago. Something rather trivial. How can it be merge?
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk