tree 64d48a4a1e17c62acd099ef3b4bf2ca83bad61f4
parent 37461d2d0901e64c2fec63c677321d52e57264ef
author Andreas Wundsam <andreas.wundsam@bigswitch.com> 1383680824 -0800
committer Andreas Wundsam <andreas.wundsam@bigswitch.com> 1383680824 -0800

logging/instrumentation: address review comments, remove InstrumentationOptions