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. |
||
|---|---|---|
| .. | ||
| builder_db.ml | ||
| builder_db.mli | ||
| dune | ||
| representation.ml | ||