feat: Support MySQL's `DIV` operator#876

Merged

alamb merged 3 commits intoapache:mainfrom

eitsupi:mysql-div-ope

May 17, 2023

Commits on May 10, 2023

feat: MySQL's DIV operator
eitsupi
committed

Commits on May 17, 2023