Subject: Re: [boost] [ublas] How to merge a PR?
From: Stefan Seefeld (stefan_at_[hidden])
Date: 2018-09-09 21:28:02
On 09/09/18 15:42, FrÃ©dÃ©ric via Boost wrote:
> I submitted a PR 1 month ago. Something rather trivial. How can it be merge?
I'm getting involved increasingly in the project, so let me have a look.
-- ...ich hab' noch einen Koffer in Berlin...
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk