On 12/28/22 17:14, Daniel Jakots wrote:
I personally do `make modgo-gen-modules > modules.inc` in which case I'm not sure it's going to help much. Are you people doing things differently to update a go port?
I do the same, but I'd definitely have stumbled over such a comment when reviewing the diff ...