From: Ximin Luo <infinity0@pdeb2>
Date: Wed, 28 Sep 2016 19:54:01 +0000 (+0200)
Subject: Merge tag 'upstream/4.03.0'
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~111
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=63179cf91303dbd7189b94c8908f2301ab999bce;p=ocaml.git

Merge tag 'upstream/4.03.0'

Upstream version 4.03.0

# gpg: Signature made Wed 28 Sep 2016 21:54:01 CEST
# gpg:                using RSA key 860DEF3B8F650B79
# 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]
---

63179cf91303dbd7189b94c8908f2301ab999bce