On Wed Jul 20, 2022 at 10:22:29AM +0200, Theo Buehler wrote: > > I tried to update ghidra to 10 with no luck. This update needs more > > effort. I would suggest we go back: > > I haven't checked the patch in detail, but I would be in favor of > reverting. >
Thanks tb, committed