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 4347fb60d6cdb98786470390587b82ac0699bb85..247f6959aef30775c3387a56f323a531d2f5ef50 100644 (file)
--- 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 <steph@glondu.net>
 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(+)