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

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...