From: Ximin Luo <infinity0@debian.org>
Date: Tue, 4 Jul 2017 16:21:11 +0000 (+0200)
Subject: Merge tag 'upstream/4.05.0_rc1' into debian/experimental
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~72
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=87082edef0dca5baee06cfe03077b53ca2765771;p=ocaml.git

Merge tag 'upstream/4.05.0_rc1' into debian/experimental

Upstream version 4.05.0~rc1

# gpg: Signature made Tue 04 Jul 2017 18:21:11 CEST
# gpg:                using RSA key 3667486A326DB2766D255546860DEF3B8F650B79
# gpg: Good signature from "Ximin Luo <infinity0@pwned.gg>" [ultimate]
# gpg:                 aka "Ximin Luo <infinity0@torproject.org>" [ultimate]
# gpg:                 aka "Ximin Luo <infinity0@freenetproject.org>" [ultimate]
# gpg:                 aka "Ximin Luo <infinity0@debian.org>" [ultimate]
# gpg:                 aka "Satoshi Nakamoto (www.bitcoin.org) <satoshin@gmx.com>" [ultimate]
---

87082edef0dca5baee06cfe03077b53ca2765771