Reg cocktails common paper modifications 5#418

Merged

ravinkohli merged 2 commits intoreg_cocktails-common_paper_modifications_2from

reg_cocktails-common_paper_modifications_5

Mar 14, 2022

Commits on Mar 13, 2022

add hasttr
ravinkohli
committed

Commits on Mar 14, 2022

fix run summary
ravinkohli
committed