Displaying 2 results from an estimated 2 matches for "742e43b".
Did you mean:
7424b
2014 Jan 22
1
[PATCH] builder: small code simplification
No actual behaviour changes, just remove extra match statements.
---
builder/list_entries.ml | 6 ++----
1 file changed, 2 insertions(+), 4 deletions(-)
diff --git a/builder/list_entries.ml b/builder/list_entries.ml
index 742e43b..0d3d9b2 100644
--- a/builder/list_entries.ml
+++ b/builder/list_entries.ml
@@ -98,13 +98,11 @@ and list_entries_json ~sources index =
| c -> String.make 1 c)
done;
!res in
- let json_optional_printf_string key value =
- match value with
+ let json_optional_printf_string...
2014 Jan 22
2
[PATCH] builder: read all the available notes from the index
...,7 @@ and entry = {
compressed_size : int64 option;
expand : string option;
lvexpand : string option;
- notes : string option;
+ notes : (string * string) list;
hidden : bool;
sigchecker : Sigchecker.t;
diff --git a/builder/list_entries.ml b/builder/list_entries.ml
index 7369e6c..742e43b 100644
--- a/builder/list_entries.ml
+++ b/builder/list_entries.ml
@@ -71,10 +71,10 @@ and list_entries_long ~sources index =
printf "%-24s %s\n" (s_"Download size:") (human_size size);
);
(match notes with
- | None -> ()
- | Some no...