Sorry, it seems it had fallen through the cracks. It is now merged. regards, Nikos
On Sat, Jun 16, 2018 at 1:20 PM Andreas Metzler <[email protected]> wrote: > Hello, > > could you please tell me what I can/should do to get this merge request > accepted? > > cu Andreas > -- > `What a good friend you are to him, Dr. Maturin. His other friends are > so grateful to you.' > `I sew his ears on from time to time, sure' > >
