PR #2016 Update notification for removing component

Update notification for removing component #2016

kinnison merged 1 commit into rust-lang:master from BeniCheni:update-notification-removing-component

thedrow requested changes on 2019-09-25

BeniCheni force pushed from 6e7e52f7 to aaad735a 6 years ago

thedrow approved these changes on 2019-09-26

BeniCheni force pushed from aaad735a to 5d2b43dd 6 years ago

kinnison requested changes on 2019-09-27

Update notification for removing component

1844a92a

BeniCheni force pushed from 5d2b43dd to 1844a92a 6 years ago

kinnison approved these changes on 2019-09-27

kinnison merged 70f83577 into master 6 years ago

BeniCheni deleted the update-notification-removing-component branch 6 years ago

Reviewers

kinnison

thedrow

Assignees

No one assigned

Labels

None yet

Milestone

No milestone