Skip to content
Commit 7d86a809 authored by Hao Gao's avatar Hao Gao
Browse files

Remove record_timing option

parent a92662c6