[scoop] 3.1.2 released

[<jm...@jm...>]

OK -- 3.1.2 is now up on the sites.  The only change in this version is a
fix for 3.1.1's crashing on Windows.

--j.