This repository has been archived by the owner on Aug 2, 2022. It is now read-only.

Remove deprecated history plugin#10810

Merged

heifner merged 6 commits intodevelopfrom rm-history-plugin

Oct 14, 2021

+14-960

Commits on Oct 14, 2021

Update for use of trace_api_plugin instead of history_plugin
heifner
committed