You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A motivation to think of this as a bug is that the comparison we link to, will not include the changes part of the commit that was most recently tagged.
The text was updated successfully, but these errors were encountered:
I ended up observing a PR included in the changelog, even though it was part of the previous tagged release. To reproduce this, one can do...
I would expect that PR 73 should not have been written out to the changelog.
A motivation to think of this as a bug is that the comparison we link to, will not include the changes part of the commit that was most recently tagged.
The text was updated successfully, but these errors were encountered: