Fix wrongly written 'aribtrary' -> 'arbitrary'#2214

Merged

timsehn merged 1 commit intodolthub:mainfrom

ryougi-shiky:main

Jan 3, 2024

Commits on Dec 23, 2023

fix: wrongly written 'aribtrary' -> 'arbitrary'
ryougi-shiky
committed