upgrade to 0.7.2 (rc?)
upgrade to 0.7.2 (rc?)
try to minimize console output
fixed the settings menu to show up to date settings issue#9