From 2986d39ae87fe3741bf020d3c0a9d725f15df740 Mon Sep 17 00:00:00 2001
From: Matthias Sohn <matthias.sohn@sap.com>
Date: Thu, 16 Nov 2023 00:24:29 +0100
Subject: [PATCH] Fix annotation of deprecated constant
 CONFIG_KEY_STREAM_FILE_TRESHOLD

Change-Id: I71f067199c63aa1407f543f6d40ef05b928e9f95
---
 org.eclipse.jgit/src/org/eclipse/jgit/lib/ConfigConstants.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/org.eclipse.jgit/src/org/eclipse/jgit/lib/ConfigConstants.java b/org.eclipse.jgit/src/org/eclipse/jgit/lib/ConfigConstants.java
index aad1342fe..c7b4e4569 100644
--- a/org.eclipse.jgit/src/org/eclipse/jgit/lib/ConfigConstants.java
+++ b/org.eclipse.jgit/src/org/eclipse/jgit/lib/ConfigConstants.java
@@ -345,8 +345,9 @@ public final class ConfigConstants {
 	public static final String CONFIG_KEY_STREAM_FILE_THRESHOLD = "streamFileThreshold";
 
 	/**
-	 * @Deprecated typo, use CONFIG_KEY_STREAM_FILE_THRESHOLD instead
+	 * @deprecated typo, use CONFIG_KEY_STREAM_FILE_THRESHOLD instead
 	 */
+	@Deprecated(since = "6.8")
 	public static final String CONFIG_KEY_STREAM_FILE_TRESHOLD = CONFIG_KEY_STREAM_FILE_THRESHOLD;
 
 	/**