Update hax version and changelog#1521

karthikbhargavan wants to merge 1 commit intomaincryspen/hax:mainfrom

update-hax-version-for-1514cryspen/hax:update-hax-version-for-1514Copy head branch name to clipboard