Re: String additions to 'devhelp.master'

Piotr Drąg wrote:

Sorry about that, I thought I had already pushed the 3.16 branch.
I just did so.

Hi Frederic,

Could you also push th 3.14 branch? This appears to be the last commit
suitable for this branch:

Sure, done.


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]