Clean up unintended diversions from upstream.

This commit is contained in:
Johannes Mockenhaupt 2018-01-03 19:07:10 +01:00
parent 53a8cd4eac
commit fd8f2c0801
No known key found for this signature in database
GPG key ID: 9E1EA6AF7BBBB0D1