Closed micolous closed 1 year ago
@micolous can you drop the formatting changes?
Done
@bors-servo r+
:pushpin: Commit a1df338 has been approved by jrmuizel
:hourglass: Testing commit a1df3385f7094268c1c348849d283c04ce62da95 with merge 69c3c11b909dbcc58e56101746258ce012480f27...
:sunny: Test successful - checks-github Approved by: jrmuizel Pushing 69c3c11b909dbcc58e56101746258ce012480f27 to master...
Fixes #550