From: Ximin Luo <infinity0@debian.org>
Date: Sun, 6 Nov 2016 18:48:03 +0000 (+0100)
Subject: Merge tag 'upstream/4.04.0' into debian/experimental
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~85
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=091e8b9c15bb69f9eab358deb671054d5c2a6b7d;p=ocaml.git

Merge tag 'upstream/4.04.0' into debian/experimental

Upstream version 4.04.0

# gpg: Signature made Sun 06 Nov 2016 19:47:59 CET
# 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]
---

091e8b9c15bb69f9eab358deb671054d5c2a6b7d