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
