Downloading missing Board binary - stuck

No this has not been resolved in 1.3.2. Like you I am still having to use 1.1.1

A great shame