Closed Jesse-Bakker closed 2 years ago
This looks reasonable!
@bors-servo r+
:pushpin: Commit 5a2eb1c has been approved by jdm
:hourglass: Testing commit 5a2eb1c9037f8d990d8926f1d258faadaa9164d7 with merge 4ec49785e557d3794ad331aa1b684dc1fdf41d07...
:sunny: Test successful - checks-github Approved by: jdm Pushing 4ec49785e557d3794ad331aa1b684dc1fdf41d07 to master...
Related to: #198