3 Commits

Author	SHA1	Message	Date
Robert Jördens	5dffe1c456	try github actions	2019-09-11 17:28:53 +02:00
Robert Jördens	1cc31f9a6b	cleanup bors	2019-07-02 11:30:18 +02:00
Robert Jördens	a575611e82	add bors	2019-06-03 17:22:38 +02:00