Re: [PD-dev] time for a quick bugfix update?

Lucas Cordiviola

23 Oct 2023 23 Oct '23

12:48 p.m.

yes, correct. the commits from the PR are in `master` branch now.

Mensaje telepatico asistido por maquinas.

On 23/10/2023 07:43, Miller Puckette wrote:

I think I have it merged now... can you check I got the merge done correctly ?