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 ?