[ublas] How to merge a PR?

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

[ublas] How to merge a PR?

Boost - Dev mailing list
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

_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
Reply | Threaded
Open this post in threaded view
|

Re: [ublas] How to merge a PR?

Boost - Dev mailing list
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...
   


_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost