Where to report bugs/bug fixes for bundled Addons

I found and fixed a bug in Bool Tool. Do I report this in the normal fashion as with any other bug in Blender,or is there a certain person I should contact?

I can report it here of course, it’s a single line (676).
Reads:
ob.set_select(state=True)

Should Read:
ob.select_set(state=True)

Code contributions can be made here

1 Like