Closed jschueller closed 2 years ago
@jschueller
thank you so much for this PR. I just re-aligned and sorted the items to help my OCD and pushed your commit in dev
branch.
please check if it is alright I will also move the master.
@jschueller please also check the next commit as I believe we can automate these two options.
maybe its simpler to leave them independent, maybe one could want to disable both
hmm, that makes sense. but we shouldn't allow compiling with both options enabled, shall we?
please have a look at this branch: omit
.
yes, that's good for me
cherry-picked and merged
It is incompatible with SQLITE_OMIT_DECLTYPE, so the latter should have its own option too.