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