From aeca7656f499d7f4595319858f242276920e31bb Mon Sep 17 00:00:00 2001
From: Louis Gesbert <louis.gesbert@ocamlpro.com>
Date: Sat, 2 Dec 2017 12:51:01 +0100
Subject: [PATCH] Fix for ocaml 4.06

---
 common/criteria_lexer.mll | 8 ++++----
 common/util.ml            | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/common/criteria_lexer.mll b/common/criteria_lexer.mll
index 71f9178..fc4eae3 100644
--- a/common/criteria_lexer.mll
+++ b/common/criteria_lexer.mll
@@ -18,7 +18,7 @@
     let c = Lexing.lexeme_char lexbuf 2 in (* the delimiter can be any character *)
     (* find the terminating delimiter *)
     let endpos =
-      try String.index_from lexbuf.lex_buffer (lexbuf.lex_start_pos + 3) c with
+      try Bytes.index_from lexbuf.lex_buffer (lexbuf.lex_start_pos + 3) c with
       |Invalid_argument _ ->
           raise (Format822.Syntax_error (
             Format822.error lexbuf "String too short"))
@@ -27,9 +27,9 @@
             Format822.error lexbuf (Printf.sprintf "cannot find: %c" c)))
     in
     let len = endpos - (lexbuf.lex_start_pos + 3) in
-    let s = String.sub lexbuf.lex_buffer (lexbuf.lex_start_pos + 3) len in
-    lexbuf.Lexing.lex_curr_pos <- lexbuf.Lexing.lex_start_pos + ((String.length s)+4);
-    s
+    let s = Bytes.sub lexbuf.lex_buffer (lexbuf.lex_start_pos + 3) len in
+    lexbuf.Lexing.lex_curr_pos <- lexbuf.Lexing.lex_start_pos + ((Bytes.length s)+4);
+    Bytes.to_string s
 
 }
 
diff --git a/common/util.ml b/common/util.ml
index 598f266..36ca3d1 100644
--- a/common/util.ml
+++ b/common/util.ml
@@ -87,7 +87,7 @@ module MakeMessages(X : sig val label : string end) = struct
   let clean label =
     try 
       let s = Filename.chop_extension (Filename.basename label) in
-      String.capitalize s
+      String.capitalize_ascii s
     with Invalid_argument _ -> label
 
   let create ?(enabled=false) label =
-- 
2.11.0

q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=5674ea45a3faf87cc44eb7c63a97e7fc55fc0c3c'>root</a>/<a href='/guix/log/gnu?id=5674ea45a3faf87cc44eb7c63a97e7fc55fc0c3c'>gnu</a>/<a href='/guix/log/gnu/packages?id=5674ea45a3faf87cc44eb7c63a97e7fc55fc0c3c'>packages</a>/<a href='/guix/log/gnu/packages/dav.scm?id=5674ea45a3faf87cc44eb7c63a97e7fc55fc0c3c'>dav.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/packages/dav.scm?id=5674ea45a3faf87cc44eb7c63a97e7fc55fc0c3c&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2020-08-27 17:18:52 -0400'>2020-08-27</span></td><td><a href='/guix/commit/gnu/packages/dav.scm?id=828658f8fe6721215dbe5fd49702ae63121a8573'>gnu: radicale: Update to 3.0.4.</a><span class='msg-avail'>...</span></td><td>Vinicius Monego</td></tr>
<tr><td><span title='2020-08-27 17:18:52 -0400'>2020-08-27</span></td><td><a href='/guix/commit/gnu/packages/dav.scm?id=f6ac084d4f0311effeb2ffe0411b86e504602051'>gnu: Add xandikos.</a><span class='msg-avail'>...</span></td><td>Vinicius Monego</td></tr>
<tr><td><span title='2020-07-01 09:30:56 +0300'>2020-07-01</span></td><td><a href='/guix/commit/gnu/packages/dav.scm?id=8ed5d9502dffe6884978fab32398f9c68e38a6c8'>gnu: vdirsyncer: Don't propagate python-click-5.</a><span class='msg-avail'>...</span></td><td>Efraim Flashner</td></tr>
<tr><td><span title='2020-06-29 15:47:11 +0200'>2020-06-29</span></td><td><a href='/guix/commit/gnu/packages/dav.scm?id=85eec227e1b056e808719b0db7756c4aa9745704'>gnu: vdirsyncer: Update to 0.16.8.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2020-04-26 22:55:29 +0300'>2020-04-26</span></td><td><a href='/guix/commit/gnu/packages/dav.scm?id=dc1182751cfd62d2b91f80fed322fd1e016e4b72'>gnu: vdirsyncer: Fix building man page.</a><span class='msg-avail'>...</span></td><td>Efraim Flashner</td></tr>
<tr><td><span title='2020-02-23 17:55:05 +0100'>2020-02-23</span></td><td><a href='/guix/commit/gnu/packages/dav.scm?id=faa8dfd1416676ea3231aa6aa20a10e6ac5ed7e2'>gnu: radicale: Use HTTPS home page.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2019-10-04 12:21:45 +0300'>2019-10-04</span></td><td><a href='/guix/commit/gnu/packages/dav.scm?id=0c34b9494333fb355d288a0165b85cb3c1c2a628'>gnu: vdirsyncer: Skip tests.</a><span class='msg-avail'>...</span></td><td>Efraim Flashner</td></tr>