[ublas] How to merge a PR? - Boost - lists.preview.boost.org

newer
list.boost.org

[ublas] How to merge a PR?

older
Re: [boost] list.boost.org

Frédéric

9 Sep 2018 9 Sep '18

7:42 p.m.

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

Reply

Sign in to reply online Use email software

Show replies by date

Stefan Seefeld

9 Sep 9 Sep

9:28 p.m.

On 09/09/18 15:42, Frédéric via Boost wrote:

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

Reply

Sign in to reply online Use email software

2434

Age (days ago)

2434

Last active (days ago)

Download

1 comments

2 participants

tags

participants (2)

Frédéric
Stefan Seefeld