From 350566abae29666a9e21c2b877315b8a2885e1fa Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Wed, 31 Jul 2019 08:13:44 +0200 Subject: [PATCH] Document forwarded patch --- .../0008-Tune-testpreempt-test-to-make-it-work-on-kfreebsd.patch | 1 + 1 file changed, 1 insertion(+) diff --git a/debian/patches/0008-Tune-testpreempt-test-to-make-it-work-on-kfreebsd.patch b/debian/patches/0008-Tune-testpreempt-test-to-make-it-work-on-kfreebsd.patch index 4347fb60..247f6959 100644 --- a/debian/patches/0008-Tune-testpreempt-test-to-make-it-work-on-kfreebsd.patch +++ b/debian/patches/0008-Tune-testpreempt-test-to-make-it-work-on-kfreebsd.patch @@ -2,6 +2,7 @@ From: Stephane Glondu Date: Mon, 29 Jul 2019 12:49:31 +0200 Subject: Tune testpreempt test to make it work on kfreebsd +Forwarded: https://github.com/ocaml/ocaml/pull/8849 --- testsuite/tests/lib-systhreads/testpreempt.ml | 1 + 1 file changed, 1 insertion(+) -- 2.30.2