[BE1] Address issues mentioned in the comments for pull request #1815#1976

Merged

sgueissa merged 2 commits intomasterfrom work-be1-etienne-comments-previous-pr

Jun 30, 2024

+210-21

Commits on Jun 30, 2024

add spaces between lines for better clarity in sqlite package
emonnin-epfl
committed
Merge branch 'master' into work-be1-etienne-comments-previous-pr
emonnin-epfl
authored