tree dbee2e395e67b987b4c6d2d307ddac8946612445
parent 004a3f540123f1cd36f41f0cdce8fc81cacc579e
parent 0e1ba0a7b1357762b2eca69448f21ed69f38cb0a
author Woyten <woyten.tielesch@online.de> 1586192723 +0200
committer GitHub <noreply@github.com> 1586192723 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJei2FTCRBK7hj4Ov3rIwAAdHIIABTs3tNgScUOsfKamxkbrAc1
 ZWP+LP9Xp/2BZVktLEA70InfLV++soZ7iqYUADWNOiYFicC0Pq/gxlGBndtm7IHA
 bbqrxPt2t4garPz8gTW+juz+3liPU8cZRrUPC4svDK8+p79F/KltI8F2LmTqFUO+
 kJeYzfg5R5WgyWFVUCwpsmEOOdw7ApbEy5OzKDjloMf8loV6UQ4R/loXs5+BfXTY
 YgLfjeRk0BohQylnYcqeOT81IMpawJHcs4gzycQR6DGhJ70bDQLEgGGzvdRPYhlS
 UQ7tmenKyzEy/ZhXTXlut51/nPs05VxI+J36gbeybaFmJJb3VRWSMcdFXOMi25c=
 =G1Fp
 -----END PGP SIGNATURE-----
 

Merge pull request #169 from alistair23/alistair/app_head

bors causes trouble. Manually merging...