From 314d05c872bc150a1df7358bce2ed6b0aa1519ad Mon Sep 17 00:00:00 2001 From: Jonah Beckford <9566106-jonahbeckford@users.noreply.gitlab.com> Date: Wed, 6 Sep 2023 23:50:08 -0700 Subject: [PATCH] doc DiskuvOCamlMode bugfix --- contributors/changes/v2.0.3.md | 1 + 1 file changed, 1 insertion(+) diff --git a/contributors/changes/v2.0.3.md b/contributors/changes/v2.0.3.md index 07c6c83e..03f74883 100644 --- a/contributors/changes/v2.0.3.md +++ b/contributors/changes/v2.0.3.md @@ -26,6 +26,7 @@ for their GitHub Actions / GitLab CI: installed. * `opam-putenv.exe` was not being installed on Windows. * Print both error message and backtrace on some fatals +* Do not ignore `DiskuvOCamlMode` environment variable ### Internal Changes