2 commits

Author	SHA1	Message	Date
Grant Miller	d137d1f707	Tell bors to delete merged branches	2022-03-14 12:59:48 -05:00
Dario Nieuwenhuis	db289d6d5e	Add bors	2021-10-12 01:52:26 +02:00