Remove unneeded webhook notification#233
Merged
bors-servo merged 1 commit intoservo:masterfrom Nov 10, 2018
Darkspirit:https
Merged
Remove unneeded webhook notification#233bors-servo merged 1 commit intoservo:masterfrom Darkspirit:https
bors-servo merged 1 commit intoservo:masterfrom
Darkspirit:https