[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Final resolution of issue 4751
From: |
Carl Sorensen |
Subject: |
Final resolution of issue 4751 |
Date: |
Sat, 16 May 2020 14:28:09 -0600 |
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
- Final resolution of issue 4751,
Carl Sorensen <=