Neither the manual review nor the checker tools complained about it. I guess this is fine to be merged, you said you tested it manually since the auto-test coverage isn't too good. That should be enough for now +1
« Back to merge proposal
Neither the manual review nor the checker tools complained about it.
I guess this is fine to be merged, you said you tested it manually since the auto-test coverage isn't too good.
That should be enough for now +1