diff options
author | Stephane Glondu <steph@glondu.net> | 2020-08-25 07:09:52 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2020-08-25 07:13:35 +0200 |
commit | 6a55e5761115c42174ec5d712f9f71e0793027b8 (patch) | |
tree | 8760097558865d48d30bebdf49eec5de27f28440 | |
parent | d06e4dad395b37baa63b265f4bc5624020ed4256 (diff) |
Remove patch (obsolete)
-rw-r--r-- | debian/patches/0001-Fix-compilation-with-OCaml-4.08.0.patch | 26 | ||||
-rw-r--r-- | debian/patches/series | 1 |
2 files changed, 0 insertions, 27 deletions
diff --git a/debian/patches/0001-Fix-compilation-with-OCaml-4.08.0.patch b/debian/patches/0001-Fix-compilation-with-OCaml-4.08.0.patch deleted file mode 100644 index d831e9c..0000000 --- a/debian/patches/0001-Fix-compilation-with-OCaml-4.08.0.patch +++ /dev/null @@ -1,26 +0,0 @@ -From: Stephane Glondu <steph@glondu.net> -Date: Sun, 8 Sep 2019 18:02:09 +0200 -Subject: Fix compilation with OCaml 4.08.0 - ---- - setup.ml | 4 ++-- - 1 file changed, 2 insertions(+), 2 deletions(-) - -diff --git a/setup.ml b/setup.ml -index e18726f..50892b0 100644 ---- a/setup.ml -+++ b/setup.ml -@@ -210,11 +210,11 @@ module OASISString = struct - raise Not_found - - let replace_chars f s = -- let buf = String.make (String.length s) 'X' in -+ let buf = Bytes.make (String.length s) 'X' in - for i = 0 to String.length s - 1 do - buf.[i] <- f s.[i] - done; -- buf -+ Bytes.to_string buf - - end - diff --git a/debian/patches/series b/debian/patches/series deleted file mode 100644 index 614f8ba..0000000 --- a/debian/patches/series +++ /dev/null @@ -1 +0,0 @@ -0001-Fix-compilation-with-OCaml-4.08.0.patch |