Reynir Björnsson
68237ef382
A number of queries were the same except one would take another string argument and add `AND platform = $N` in its WHERE clause. This commit merges them and does `AND ($N IS NULL OR platform = $N)` and the client code in Model doesn't have to check the string option. |
||
|---|---|---|
| .. | ||
| authorization.ml | ||
| builder_web.ml | ||
| dune | ||
| model.ml | ||
| model.mli | ||
| utils.ml | ||
| views.ml | ||