Skip to content

Update RDBMS.en.tex, fixes #1

Jonas Betzendahl requested to merge jbetzend-main-patch-75063 into main

Corrects typo from #1, can't currently push to main myself (protected).

Merge request reports