{"shas":[["be30b70dc7fa77df0755f90b04d392e2c5d03ffd","54669547a225ff20cba8b75a4adca540eef25858@netdev.se","Don't hide using animation if the HUD was never shown due to a grace time","Martin Dahl"]],"ref":"refs/heads/master","size":1,"head":"be30b70dc7fa77df0755f90b04d392e2c5d03ffd","push_id":38190236}