Repository navigation
v1.3.1 #96
v1.3.1
#96
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Fixed
fixed-in-next-releaseagain also when GitHub fails to list the releases while the morning sweep sees the merge. Since 1.3.0 the sweep asked first whether a release already ships the fix, so such a failure keptneeds-infoorstaleon the issue, and the same sweep could remind its reporter or close it as unanswered. Now the labels come first, and the release closes the issue as before.Every pull request of this release
Bug fixes
Compare with the previous release
This discussion was created from the release v1.3.1.
All reactions