[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

[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