2017-05-15 13:03+0200, David Hildenbrand: > Let's introduce a simple generic version that should be sufficient for > our purposes. Applied, thanks.
2017-05-15 13:03+0200, David Hildenbrand: > Let's introduce a simple generic version that should be sufficient for > our purposes. Applied, thanks.