Properly remove player from players list during shutdown

servo / gecko-media

Firefox's media playback stack in a stand alone Rust crate

Mozilla Public License 2.0

6 stars 9 forks source link

Closed ferjm closed 6 years ago

ferjm commented 6 years ago

r? @philn

nox commented 6 years ago

@bors-servo r+

bors-servo commented 6 years ago

:pushpin: Commit 914aeb7 has been approved by nox

bors-servo commented 6 years ago

:hourglass: Testing commit 914aeb725c807c2c4fe90d3ce10b71fd024a3a46 with merge ca26db217754ad8a302aa99786f9815ee2ed92bb...

bors-servo commented 6 years ago

:sunny: Test successful - status-travis Approved by: nox Pushing ca26db217754ad8a302aa99786f9815ee2ed92bb to master...