[PD-dev] Where to report issues with 0.43 development branch?

[Roman Haefeli]

Hi

If people are supposed to already report bugs with the current dev
(0.43) branch, where should they do so?

Is this the correct place to get most recent sources from:
git://pure-data.git.sourceforge.net/gitroot/pure-data/pure-data

Thanks
Roman