Update version.txt after 0.15.2 release#6615

Merged

jomayeri merged 1 commit intomasterfrom AutoPR/0.15.2

Oct 9, 2024

+1-1

Commits on Oct 9, 2024

[create-pull-request] automated change

jomayeri
authored and
github-actions[bot]
committed