[release][build] Permission to merge

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

[release][build] Permission to merge

Boost - Dev mailing list
Hi!

I'd like to merge commit e07c805e to master.

This fixes

https://github.com/boostorg/build/issues/236

with my PR from

https://github.com/boostorg/build/pull/263

Yours,

Jürgen
--
* Dipl.-Math. Jürgen Hunold  !
* voice: ++49 4257 300       ! Fährstraße 1
* fax  : ++49 4257 300       ! 31609 Balge/Sebbenhausen
* [hidden email]             ! Germany

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

signature.asc (201 bytes) Download Attachment
Reply | Threaded
Open this post in threaded view
|

Re: [release][build] Permission to merge

Boost - Dev mailing list
On 22 Nov 2017 20:51, "Jürgen Hunold via Boost" <[hidden email]>
wrote:

>
> Hi!
>
> I'd like to merge commit e07c805e to master.
>
> This fixes
>
> https://github.com/boostorg/build/issues/236
>
> with my PR from
>
> https://github.com/boostorg/build/pull/263

Yes, and thanks for fixing this.

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