Stream: t-libs

Topic: Can someone FCP merge for me?


Lukas Kalbertodt (Jan 29 2020 at 21:23, on Zulip):

HI there! In this PR, it was suggested to FCP merge. I tried but I do not (yet) have the privileges to command rfcbot as it seems. If someone could do that for me, that'd be great.

Lukas Kalbertodt (Jan 29 2020 at 21:23, on Zulip):

Oh and if you think FCP merge is not appropriate for the, please tell me!

Steven Fackler (Jan 29 2020 at 21:33, on Zulip):

Done!

Lukas Kalbertodt (Jan 29 2020 at 21:34, on Zulip):

Thanks a bunch :)

Last update: Feb 25 2020 at 04:25UTC