Final resolution of issue 4751

[Carl Sorensen]

Trying to verify closed issues, I came across #4751

https://gitlab.com/lilypond/lilypond/-/issues/4751

Apparently it was pushed, and then changes were made, and people
didn't like it, and so there is no final commit.  Yet it is still
tagged as fixed,

Can anybody give me guidance as to how I should proceed?  Should I
just verify the issue and call it good?

Thanks for the input.

Carl