https://pantsbuild.org/ logo
w

witty-crayon-22786

10/09/2017, 4:57 PM
the 1.3.1 release isn't actually scheduled right now, but there is an actual queue of issues there, so we probably ought to get on that.