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

Reply via email to