On 15/05/20 15:22, Patrick Matthäi wrote:
@rghetta: Do you want to merge it?
Patch merged. Thanks to all for your nice work. I've cut a new release, 0.9.19
Ciao, R
On 15/05/20 15:22, Patrick Matthäi wrote:
@rghetta: Do you want to merge it?
Patch merged. Thanks to all for your nice work. I've cut a new release, 0.9.19
Ciao, R