tree 1401e9852b1d8daeffad2568f58d0ae49be357d6
parent 3e63683a3933cefa551754b0beafe9b7400115e1
author Michael Thomsen <mit@google.com> 1585556071 +0000
committer GitHub <noreply@github.com> 1585556071 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJegapnCRBK7hj4Ov3rIwAAdHIIAIxVxJduYmBWF5R4zp0cIw+g
 ADVhmmJQ06/vWbyWxDYEqDjCL/K4pFeih2WkU1C8uQTJCPS3QtLZ6sguFPxuewa8
 ce5BnBJqlbRh1ZyD09E7MZiyz+WfVmFRued1gYEM6gi5yPJVVuHO+Na42CkXgMCH
 3jKhRcSQ3t0sNSk2KIQBBXL/5Px+AVuO8YPIrL8NFxCxdPuszJCYFLJRcga++Pz6
 MiGJgYZB9djsP2krGnD+SJn4hcH12Uh1gjlY+/qA1LAw3gIENTKwlh/KE0o8A639
 GuKTfaoOopDjPx+snmhTsG826wDe6eCc/dwcaYrCDD0pCEyBN60+ovReGX3E7+s=
 =3YpR
 -----END PGP SIGNATURE-----
 

Small UI tweak (#2412)