Re: [boost] [ublas] How to merge a PR?

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:
> Hi,
> I submitted a PR 1 month ago. Something rather trivial. How can it be merge?
> https://github.com/boostorg/ublas/pull/56

Hi Frédéric,

I'm getting involved increasingly in the project, so let me have a look.

Thanks,

Stefan

-- 
      ...ich hab' noch einen Koffer in Berlin...