Skip to content

Remove unneeded webhook notification#129

Merged
bors-servo merged 2 commits into
servo:masterfrom
Darkspirit:master
Nov 7, 2018
Merged

Remove unneeded webhook notification#129
bors-servo merged 2 commits into
servo:masterfrom
Darkspirit:master

Commits

Commits on Nov 6, 2018