From: Stephane Glondu Date: Wed, 31 Jul 2019 06:13:44 +0000 (+0200) Subject: Document forwarded patch X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~2^2~17^2~17 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=350566abae29666a9e21c2b877315b8a2885e1fa;p=ocaml.git Document forwarded patch --- 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(+)