Commit Graph

2 Commits

Author SHA1 Message Date
Marko a5fd4705ed
Merge PR #5723: fix config file 2020-02-28 09:36:26 -08:00
Marko de0f1a9e40
Merge PR #5714: tools: add mergify 2020-02-27 21:36:42 -08:00