From 610e3b5b1770087e6d739ed3dc5e39755d788aa5 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 16 May 2025 14:09:28 -0700 Subject: [PATCH] missing text Signed-off-by: Nikolaj Bjorner --- genaisrc/prd.genai.mts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/genaisrc/prd.genai.mts b/genaisrc/prd.genai.mts index 36dc1c2e6..b4054f8af 100644 --- a/genaisrc/prd.genai.mts +++ b/genaisrc/prd.genai.mts @@ -34,4 +34,4 @@ This description will be used as the pull request description. - use gitmojis to make the description more engaging - focus on the most important changes - do not try to fix issues, only describe the changes -- ignore comments about imports (like added, remove, changed, etc.)` \ No newline at end of file +- ignore comments about imports (like added, remove, changed, etc.)`