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