Release Date: May 6, 2016

 

Operating System: Windows

 

GUI: No change


The release fixes minor distribution Cache issues.