tree 0f59545c66d10a08d4aa4d5615481c6e3093ab04
parent 7e8e207ce22a8eb6ce0148015fe3f560ac1e48b5
author Pavel Rosický <pdahorek@seznam.cz> 1599468783 +0200
committer GitHub <noreply@github.com> 1599468783 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJfVfTvCRBK7hj4Ov3rIwAAdHIIAE0jxs1p0wGyhwjZqBUJRFXd
 8GIsLzaV2NStVvyl2vC3KEBYEOjuARLH6Wr7JTtIy7zpOyjVabPkUSKc6ebTdEAS
 /QUVVJHsIf7FwjOLb7wdbfPkwaacKpsKBTEY9Q+KozONuDLN0HTxngMuPoLFQ2Px
 ZCMG9MJpsqF9T5xBd4OCqb7E3YALM7tPmNu9baz/HCrxjapG7F/KYKu9s0w2PiR/
 jRhcPCBpVPFByQUsZl3MFPTJTLX7Wuk4MLu9+n6IZTnf1J3R47UkOX9ms6ZkksBd
 kfghbJEtMtNjWtvft4QFVKgT7XG4SfoXqBztYZBDLiVI1DFnfLEsSaDXByuRadk=
 =FjnY
 -----END PGP SIGNATURE-----
 

add execution time (#834)