v1.7.2
731211fd
·
Fix bug with filtering pull requests
·
Nov 10, 2019