On 28/05/2020 11:09, Martin Liška wrote:
On 5/28/20 11:05 AM, Pierre-Marie de Rodat wrote:Thanks! The updated patch is attached.The patch is fine, please install it.
Now pushed. Thank you again. -- Pierre-Marie de Rodat
On 28/05/2020 11:09, Martin Liška wrote:
On 5/28/20 11:05 AM, Pierre-Marie de Rodat wrote:Thanks! The updated patch is attached.The patch is fine, please install it.
Now pushed. Thank you again. -- Pierre-Marie de Rodat