# HG changeset patch
# User Pantxo Diribarne <pantxo.diribarne@gmail.com>
# Date 1656438756 -7200
# Node ID e8238ae723817ff8abb79148abb9d95b0634e48f
# Parent  6ee5bd9ad7cc8ab7afa0a24186d762ffa552786e# Parent  01e4f3882f542b12b93ae75da1f44adc80172ac8
maint: merge stable to default

diff -r 6ee5bd9ad7cc -r e8238ae72381 libinterp/corefcn/oct-tex-lexer.in.ll
--- a/libinterp/corefcn/oct-tex-lexer.in.ll	Sat Jun 25 16:40:58 2022 -0400
+++ b/libinterp/corefcn/oct-tex-lexer.in.ll	Tue Jun 28 19:52:36 2022 +0200
@@ -140,7 +140,7 @@
     return FONTSIZE;
   }
 
-"\\color[m_rgb]" {
+"\\color[rgb]" {
     BEGIN (MAYBE_NUM_MODE);
     return COLOR_RGB;
   }