tree 16758ccdd35bfb1b145d7f02fc38dfa9ade371f2
parent e010f320a6ff59fca5165ac3ad1d7e815212ea54
parent dd846ae11392cc9bf22067413ed15aa66ac0b8cc
author Woyten <woyten.tielesch@online.de> 1586193174 +0200
committer GitHub <noreply@github.com> 1586193174 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJei2MWCRBK7hj4Ov3rIwAAdHIIAFU56VBe3Csw7sER/oHa463j
 RaXXI/G8sJrpPJcaAx5MUysfdZbE79yimwrmK4AR74l+VB/XH+USa5IPYqXakrGI
 c7N5RnIbX9jBpoNUEK0PqDzkLPxEU42Ydf53fGpnTaekxAbEWJlqerCST1wS42Fl
 5i3Ch0hIKXGAHgkSn4qvRwi9ITweGh80MaY5Q4VnKElEVGMgiKFlO9BQukmqsnqf
 ql3LW++V3cs78iCn5TT8Fi1MbRciPbCUtrV7xv79nyRu18fFpNMZMvvB1FLbpDE3
 wDqUPqhWvoyaqFhdbiojQll8dvDMgpv24VKrjfddSWxP+FBq13KsWjmlSt6pWLM=
 =xGfH
 -----END PGP SIGNATURE-----
 

Merge pull request #173 from dgreid/topic/hifive1

bors is causing trouble. Merging manually...