tree 00d255b4244c2411018029d8c57525c720c694cd
parent 391bad4b95839e2c690879ca62b1e904a49a78df
author Qi Wang <interwq@gwu.edu> 1650921472 -0700
committer Qi Wang <interwq@gmail.com> 1650942778 -0700

Correct the name of stats.mutexes.prof_thds_data in doc.