From: Stéphane Glondu <glondu@debian.org>
Date: Wed, 12 Jun 2024 06:22:30 +0000 (+0200)
Subject: Update upstream source from tag 'upstream/5.2.0'
X-Git-Tag: archive/raspbian/5.2.0-2+rpi1^2~53
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=b9af5a78ea5acbf18b8d5d00802fd19459a1d647;p=ocaml.git

Update upstream source from tag 'upstream/5.2.0'

Update to upstream version '5.2.0'
with Debian dir 0d4d30a2fc2415084d5ae32dfb6563415fa28722
---

b9af5a78ea5acbf18b8d5d00802fd19459a1d647