Fix a bug in ObserverManager destructor
authorAndrii Grynenko <andrii@fb.com>
Tue, 13 Sep 2016 00:53:52 +0000 (17:53 -0700)
committerFacebook Github Bot 3 <facebook-github-bot-3-bot@fb.com>
Tue, 13 Sep 2016 01:08:31 +0000 (18:08 -0700)
commit74b5413059e7be72dbc52ba815160bd6fe825835
tree7b588f7fa51ea985dc3a7ec0c5f19b924412a12f
parent109334de27c41273089c81ff20bae938ef763f23
Fix a bug in ObserverManager destructor

Summary: facepaw

Reviewed By: ckwalsh

Differential Revision: D3853363

fbshipit-source-id: f863a3e3ae830256f5cff6c56f23254ff6fdee2a
folly/experimental/observer/detail/ObserverManager.cpp