Skip to content

0.13.4

Compare
Choose a tag to compare
@nedbat nedbat released this 06 Oct 23:11
· 46 commits to main since this release

Fixed

  • Comments on pull requests were only filtered by their age, not their authors, so bot comments, and comments by "ignored users" were still included. This is now fixed.