tree b73ff6d5ca4994a473f68c0e9c188704d5d146f2
parent 4d83c3d119df4e4070938e870bb3897c818d50cf
author Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1680452837 +0200
committer Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1680452837 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iHUEABYKAB0WIQRE3QzuUV5Uegq6sdJPLjDfCicO+wUCZCmtIQAKCRBPLjDfCicO
 ++EuAP0X5jK+AgGBqFU8Nhhweu2zQ8QMGVH8X37s6E3Q+t+xnAEA0flNo/kMkYQ8
 3PL/WLYmYlRF6Kt6IM7f6EYtLtMRyAo=
 =HJ2A
 -----END PGP SIGNATURE-----

git: Sync GitLab --> Gitolite --> GitHub.

Closes #3, #5.

Change-Id: I92426323d6ba9bd8d7f7cfa7fc4af37d3b9bbb93