[Git][ocaml-team/menhir][master] 2 commits: Fix installation of manpage (Closes: #1142901)
Stéphane Glondu (@glondu) <[email protected]> Tue, 28 Jul 2026 06:52:48 +0000
| Newsgroups | gmane.linux.debian.devel.ocaml |
|---|---|
| Message-ID | <[email protected]> |
----==_mimepart_6a6851c0c8c5f_56dfc60c22587a6 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable St=C3=A9phane Glondu pushed to branch master at Debian OCaml Maintainers = / menhir Commits: 55e8ad9e by Stephane Glondu at 2026-07-28T08:50:13+02:00 Fix installation of manpage (Closes: #1142901) - - - - - c37c6bc3 by Stephane Glondu at 2026-07-28T08:50:37+02:00 Update changelog and prepare upload to unstable - - - - - 2 changed files: - debian/changelog - debian/menhir.manpages Changes: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D debian/changelog =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D @@ -1,3 +1,10 @@ +menhir (20260209+ds-3) unstable; urgency=3Dmedium + + * Team upload + * Fix installation of manpage (Closes: #1142901) + + -- St=C3=A9phane Glondu <[email protected]> Tue, 28 Jul 2026 08:50:28 = +0200 + menhir (20260209+ds-2) unstable; urgency=3Dmedium = * Team upload =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D debian/menhir.manpages =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D @@ -1 +1 @@ -doc/menhir.1 +usr/share/ocaml-dune/man/man1/menhir.1 View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/compare/a= 729f2892f5366c92fed853cd64bc9ba0a2a5356...c37c6bc33b0a600753f98103cf8d0e4= 10a226508 -- = View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/compare/a= 729f2892f5366c92fed853cd64bc9ba0a2a5356...c37c6bc33b0a600753f98103cf8d0e4= 10a226508 You're receiving this email because of your account on salsa.debian.org. = Manage all notifications: https://salsa.debian.org/-/profile/notification= s | Help: https://salsa.debian.org/help ----==_mimepart_6a6851c0c8c5f_56dfc60c22587a6 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www= .w3.org/TR/REC-html40/loose.dtd"> <html lang=3D"en" style=3D'--code-editor-font: var(--default-mono-font, "= GitLab Mono"), JetBrains Mono, Menlo, DejaVu Sans Mono, Liberation Mono, = Consolas, Ubuntu Mono, Courier New, andale mono, lucida console, monospac= e;'> <head> <meta content=3D"text/html; charset=3Dutf-8" http-equiv=3D"Content-Type">= <title> GitLab </title> <style data-premailer=3D"ignore" type=3D"text/css"> a { color: #1068bf; } </style> <style>img { max-width: 100%; height: auto; } body { font-size: .875rem; } body { -webkit-text-shadow: hsla(0,0%,100%,.01) 0 0 1px; } body { font-family: "GitLab Sans",-apple-system,BlinkMacSystemFont,"Segoe UI",Ro= boto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Colo= r Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji"; font-size= : inherit; } </style> </head> <body style=3D'font-size: inherit; -webkit-text-shadow: hsla(0,0%,100%,.0= 1) 0 0 1px; font-family: "GitLab Sans",-apple-system,BlinkMacSystemFont,"= Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif= ,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji= ";'> <div class=3D"content"> <h3 style=3D"margin-top: 20px; margin-bottom: 10px;"> St=C3=A9phane Glondu pushed to branch master at <a href=3D"https://salsa.= debian.org/ocaml-team/menhir">Debian OCaml Maintainers / menhir</a> </h3> <h4 style=3D"margin-top: 10px; margin-bottom: 10px;"> Commits: </h4> <ul> <li> <strong style=3D"font-weight: 600;"><a href=3D"https://salsa.debian.org/o= caml-team/menhir/-/commit/55e8ad9ecf81e45f83d600119d4d5f4b2919a5e2">55e8a= d9e</a></strong> <div> <span> by Stephane Glondu </span> <i> at 2026-07-28T08:50:13+02:00 </i> </div> <pre class=3D"commit-message" style=3D'white-space: pre-wrap; display: bl= ock; font-size: 14px; color: #3a383f; position: relative; font-family: "G= itLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation M= ono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida co= nsole", monospace; font-variant-ligatures: none; word-break: break-all; w= ord-wrap: break-word; background-color: #fbfafd; border-radius: 2px; marg= in: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Fix installation of= manpage (Closes: #1142901) </pre> </li> <li> <strong style=3D"font-weight: 600;"><a href=3D"https://salsa.debian.org/o= caml-team/menhir/-/commit/c37c6bc33b0a600753f98103cf8d0e410a226508">c37c6= bc3</a></strong> <div> <span> by Stephane Glondu </span> <i> at 2026-07-28T08:50:37+02:00 </i> </div> <pre class=3D"commit-message" style=3D'white-space: pre-wrap; display: bl= ock; font-size: 14px; color: #3a383f; position: relative; font-family: "G= itLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation M= ono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida co= nsole", monospace; font-variant-ligatures: none; word-break: break-all; w= ord-wrap: break-word; background-color: #fbfafd; border-radius: 2px; marg= in: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Update changelog an= d prepare upload to unstable </pre> </li> </ul> <h4 style=3D"margin-top: 10px; margin-bottom: 10px;"> 2 changed files: </h4> <ul> <li class=3D"file-stats"> <a href=3D"#9c96da0e9f91d7d8937b69b524702c106258f0d1"> debian/changelog </a> </li> <li class=3D"file-stats"> <a href=3D"#8173438830e682518e2a0b52233ec380b38ca093"> debian/menhir.manpages </a> </li> </ul> <h4 style=3D"margin-top: 10px; margin-bottom: 10px;"> Changes: </h4> <li id=3D"9c96da0e9f91d7d8937b69b524702c106258f0d1"> <a href=3D"https://salsa.debian.org/ocaml-team/menhir/-/compare/a729f2892= f5366c92fed853cd64bc9ba0a2a5356...c37c6bc33b0a600753f98103cf8d0e410a22650= 8#9c96da0e9f91d7d8937b69b524702c106258f0d1"><strong style=3D"font-weight:= 600;">debian/changelog</strong></a> <hr style=3D"overflow: hidden; border: 1px solid #dcdcde;"> <table class=3D"code white" style=3D"border-spacing: 0; border-collapse: = collapse; width: auto; font-family: monospace; font-size: 90%;" bgcolor=3D= "#ffffff" width=3D"100%" cellpadding=3D"0" cellspacing=3D"0"> <tr class=3D"line_holder new" style=3D"line-height: 1.6;"> <td class=3D"old_line diff-line-num new" data-linenumber=3D"1" style=3D"w= idth: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right= -color: #c7f0d2; border-right-style: solid; padding: inherit;" align=3D"r= ight" bgcolor=3D"#ddfbe6"> = </td> <td class=3D"new_line diff-line-num new" data-linenumber=3D"1" style=3D"w= idth: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right= -color: #c7f0d2; border-right-style: solid; padding: inherit;" align=3D"r= ight" bgcolor=3D"#ddfbe6"> 1 </td> <td class=3D"line_content new" style=3D"padding: inherit;" bgcolor=3D"#ec= fdf0"><pre style=3D'display: block; font-size: 14px; color: #3a383f; posi= tion: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "D= ejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier = New", "andale mono", "lucida console", monospace; font-variant-ligatures:= none; word-break: break-all; word-wrap: break-word; background-color: in= herit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #= dcdcde;'>+<span class=3D"line" data-lang=3D"plaintext">menhir (20260209+d= s-3) unstable; urgency=3Dmedium</span> </pre></td> </tr> <tr class=3D"line_holder new" style=3D"line-height: 1.6;"> <td class=3D"old_line diff-line-num new" data-linenumber=3D"1" style=3D"w= idth: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right= -color: #c7f0d2; border-right-style: solid; padding: inherit;" align=3D"r= ight" bgcolor=3D"#ddfbe6"> = </td> <td class=3D"new_line diff-line-num new" data-linenumber=3D"2" style=3D"w= idth: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right= -color: #c7f0d2; border-right-style: solid; padding: inherit;" align=3D"r= ight" bgcolor=3D"#ddfbe6"> 2 </td> <td class=3D"line_content new" style=3D"padding: inherit;" bgcolor=3D"#ec= fdf0"><pre style=3D'display: block; font-size: 14px; color: #3a383f; posi= tion: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "D= ejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier = New", "andale mono", "lucida console", monospace; font-variant-ligatures:= none; word-break: break-all; word-wrap: break-word; background-color: in= herit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #= dcdcde;'>+<span class=3D"line" data-lang=3D"plaintext"></span> </pre></td> </tr> <tr class=3D"line_holder new" style=3D"line-height: 1.6;"> <td class=3D"old_line diff-line-num new" data-linenumber=3D"1" style=3D"w= idth: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right= -color: #c7f0d2; border-right-style: solid; padding: inherit;" align=3D"r= ight" bgcolor=3D"#ddfbe6"> = </td> <td class=3D"new_line diff-line-num new" data-linenumber=3D"3" style=3D"w= idth: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right= -color: #c7f0d2; border-right-style: solid; padding: inherit;" align=3D"r= ight" bgcolor=3D"#ddfbe6"> 3 </td> <td class=3D"line_content new" style=3D"padding: inherit;" bgcolor=3D"#ec= fdf0"><pre style=3D'display: block; font-size: 14px; color: #3a383f; posi= tion: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "D= ejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier = New", "andale mono", "lucida console", monospace; font-variant-ligatures:= none; word-break: break-all; word-wrap: break-word; background-color: in= herit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #= dcdcde;'>+<span class=3D"line" data-lang=3D"plaintext"> * Team upload</s= pan> </pre></td> </tr> <tr class=3D"line_holder new" style=3D"line-height: 1.6;"> <td class=3D"old_line diff-line-num new" data-linenumber=3D"1" style=3D"w= idth: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right= -color: #c7f0d2; border-right-style: solid; padding: inherit;" align=3D"r= ight" bgcolor=3D"#ddfbe6"> = </td> <td class=3D"new_line diff-line-num new" data-linenumber=3D"4" style=3D"w= idth: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right= -color: #c7f0d2; border-right-style: solid; padding: inherit;" align=3D"r= ight" bgcolor=3D"#ddfbe6"> 4 </td> <td class=3D"line_content new" style=3D"padding: inherit;" bgcolor=3D"#ec= fdf0"><pre style=3D'display: block; font-size: 14px; color: #3a383f; posi= tion: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "D= ejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier = New", "andale mono", "lucida console", monospace; font-variant-ligatures:= none; word-break: break-all; word-wrap: break-word; background-color: in= herit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #= dcdcde;'>+<span class=3D"line" data-lang=3D"plaintext"> * Fix installati= on of manpage (Closes: #1142901)</span> </pre></td> </tr> <tr class=3D"line_holder new" style=3D"line-height: 1.6;"> <td class=3D"old_line diff-line-num new" data-linenumber=3D"1" style=3D"w= idth: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right= -color: #c7f0d2; border-right-style: solid; padding: inherit;" align=3D"r= ight" bgcolor=3D"#ddfbe6"> = </td> <td class=3D"new_line diff-line-num new" data-linenumber=3D"5" style=3D"w= idth: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right= -color: #c7f0d2; border-right-style: solid; padding: inherit;" align=3D"r= ight" bgcolor=3D"#ddfbe6"> 5 </td> <td class=3D"line_content new" style=3D"padding: inherit;" bgcolor=3D"#ec= fdf0"><pre style=3D'display: block; font-size: 14px; color: #3a383f; posi= tion: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "D= ejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier = New", "andale mono", "lucida console", monospace; font-variant-ligatures:= none; word-break: break-all; word-wrap: break-word; background-color: in= herit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #= dcdcde;'>+<span class=3D"line" data-lang=3D"plaintext"></span> </pre></td> </tr> <tr class=3D"line_holder new" style=3D"line-height: 1.6;"> <td class=3D"old_line diff-line-num new" data-linenumber=3D"1" style=3D"w= idth: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right= -color: #c7f0d2; border-right-style: solid; padding: inherit;" align=3D"r= ight" bgcolor=3D"#ddfbe6"> = </td> <td class=3D"new_line diff-line-num new" data-linenumber=3D"6" style=3D"w= idth: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right= -color: #c7f0d2; border-right-style: solid; padding: inherit;" align=3D"r= ight" bgcolor=3D"#ddfbe6"> 6 </td> <td class=3D"line_content new" style=3D"padding: inherit;" bgcolor=3D"#ec= fdf0"><pre style=3D'display: block; font-size: 14px; color: #3a383f; posi= tion: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "D= ejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier = New", "andale mono", "lucida console", monospace; font-variant-ligatures:= none; word-break: break-all; word-wrap: break-word; background-color: in= herit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #= dcdcde;'>+<span class=3D"line" data-lang=3D"plaintext"> -- St=C3=A9phane = Glondu <[email protected]> Tue, 28 Jul 2026 08:50:28 +0200</span> </pre></td> </tr> <tr class=3D"line_holder new" style=3D"line-height: 1.6;"> <td class=3D"old_line diff-line-num new" data-linenumber=3D"1" style=3D"w= idth: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right= -color: #c7f0d2; border-right-style: solid; padding: inherit;" align=3D"r= ight" bgcolor=3D"#ddfbe6"> = </td> <td class=3D"new_line diff-line-num new" data-linenumber=3D"7" style=3D"w= idth: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right= -color: #c7f0d2; border-right-style: solid; padding: inherit;" align=3D"r= ight" bgcolor=3D"#ddfbe6"> 7 </td> <td class=3D"line_content new" style=3D"padding: inherit;" bgcolor=3D"#ec= fdf0"><pre style=3D'display: block; font-size: 14px; color: #3a383f; posi= tion: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "D= ejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier = New", "andale mono", "lucida console", monospace; font-variant-ligatures:= none; word-break: break-all; word-wrap: break-word; background-color: in= herit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #= dcdcde;'>+<span class=3D"line" data-lang=3D"plaintext"></span> </pre></td> </tr> <tr class=3D"line_holder" style=3D"line-height: 1.6;"> <td class=3D"old_line diff-line-num" data-linenumber=3D"1" style=3D"width= : 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right-col= or: #ececef; border-right-style: solid; padding: inherit;" align=3D"right= " bgcolor=3D"#fbfafd"> 1 </td> <td class=3D"new_line diff-line-num" data-linenumber=3D"8" style=3D"width= : 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right-col= or: #ececef; border-right-style: solid; padding: inherit;" align=3D"right= " bgcolor=3D"#fbfafd"> 8 </td> <td class=3D"line_content" style=3D"padding: inherit;"><pre style=3D'disp= lay: block; font-size: 14px; color: #3a383f; position: relative; font-fam= ily: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liber= ation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lu= cida console", monospace; font-variant-ligatures: none; word-break: break= -all; word-wrap: break-word; background-color: inherit; border-radius: 2p= x; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span class=3D= "line" data-lang=3D"plaintext">menhir (20260209+ds-2) unstable; urgency=3D= medium</span> </pre></td> </tr> <tr class=3D"line_holder" style=3D"line-height: 1.6;"> <td class=3D"old_line diff-line-num" data-linenumber=3D"2" style=3D"width= : 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right-col= or: #ececef; border-right-style: solid; padding: inherit;" align=3D"right= " bgcolor=3D"#fbfafd"> 2 </td> <td class=3D"new_line diff-line-num" data-linenumber=3D"9" style=3D"width= : 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right-col= or: #ececef; border-right-style: solid; padding: inherit;" align=3D"right= " bgcolor=3D"#fbfafd"> 9 </td> <td class=3D"line_content" style=3D"padding: inherit;"><pre style=3D'disp= lay: block; font-size: 14px; color: #3a383f; position: relative; font-fam= ily: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liber= ation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lu= cida console", monospace; font-variant-ligatures: none; word-break: break= -all; word-wrap: break-word; background-color: inherit; border-radius: 2p= x; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span class=3D= "line" data-lang=3D"plaintext"></span> </pre></td> </tr> <tr class=3D"line_holder" style=3D"line-height: 1.6;"> <td class=3D"old_line diff-line-num" data-linenumber=3D"3" style=3D"width= : 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right-col= or: #ececef; border-right-style: solid; padding: inherit;" align=3D"right= " bgcolor=3D"#fbfafd"> 3 </td> <td class=3D"new_line diff-line-num" data-linenumber=3D"10" style=3D"widt= h: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right-co= lor: #ececef; border-right-style: solid; padding: inherit;" align=3D"righ= t" bgcolor=3D"#fbfafd"> 10 </td> <td class=3D"line_content" style=3D"padding: inherit;"><pre style=3D'disp= lay: block; font-size: 14px; color: #3a383f; position: relative; font-fam= ily: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liber= ation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lu= cida console", monospace; font-variant-ligatures: none; word-break: break= -all; word-wrap: break-word; background-color: inherit; border-radius: 2p= x; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span class=3D= "line" data-lang=3D"plaintext"> * Team upload</span> </pre></td> </tr> </table> <br> </li> <li id=3D"8173438830e682518e2a0b52233ec380b38ca093"> <a href=3D"https://salsa.debian.org/ocaml-team/menhir/-/compare/a729f2892= f5366c92fed853cd64bc9ba0a2a5356...c37c6bc33b0a600753f98103cf8d0e410a22650= 8#8173438830e682518e2a0b52233ec380b38ca093"><strong style=3D"font-weight:= 600;">debian/menhir.manpages</strong></a> <hr style=3D"overflow: hidden; border: 1px solid #dcdcde;"> <table class=3D"code white" style=3D"border-spacing: 0; border-collapse: = collapse; width: auto; font-family: monospace; font-size: 90%;" bgcolor=3D= "#ffffff" width=3D"100%" cellpadding=3D"0" cellspacing=3D"0"> <tr class=3D"line_holder old" style=3D"line-height: 1.6;"> <td class=3D"old_line diff-line-num old" data-linenumber=3D"1" style=3D"w= idth: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right= -color: #fac5cd; border-right-style: solid; padding: inherit;" align=3D"r= ight" bgcolor=3D"#f9d7dc"> 1 </td> <td class=3D"new_line diff-line-num old" data-linenumber=3D"1" style=3D"w= idth: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right= -color: #fac5cd; border-right-style: solid; padding: inherit;" align=3D"r= ight" bgcolor=3D"#f9d7dc"> = </td> <td class=3D"line_content old" style=3D"padding: inherit;" bgcolor=3D"#fb= e9eb"><pre style=3D'display: block; font-size: 14px; color: #3a383f; posi= tion: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "D= ejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier = New", "andale mono", "lucida console", monospace; font-variant-ligatures:= none; word-break: break-all; word-wrap: break-word; background-color: in= herit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #= dcdcde;'>-<span class=3D"line" data-lang=3D"plaintext"><span class=3D"idi= ff left right deletion" style=3D"background-color: #fac5cd;">doc</span>/m= enhir.1</span></pre></td> </tr> <tr class=3D"line_holder new" style=3D"line-height: 1.6;"> <td class=3D"old_line diff-line-num new" data-linenumber=3D"2" style=3D"w= idth: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right= -color: #c7f0d2; border-right-style: solid; padding: inherit;" align=3D"r= ight" bgcolor=3D"#ddfbe6"> = </td> <td class=3D"new_line diff-line-num new" data-linenumber=3D"1" style=3D"w= idth: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right= -color: #c7f0d2; border-right-style: solid; padding: inherit;" align=3D"r= ight" bgcolor=3D"#ddfbe6"> 1 </td> <td class=3D"line_content new" style=3D"padding: inherit;" bgcolor=3D"#ec= fdf0"><pre style=3D'display: block; font-size: 14px; color: #3a383f; posi= tion: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "D= ejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier = New", "andale mono", "lucida console", monospace; font-variant-ligatures:= none; word-break: break-all; word-wrap: break-word; background-color: in= herit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #= dcdcde;'>+<span class=3D"line" data-lang=3D"plaintext"><span class=3D"idi= ff left right addition" style=3D"background-color: #c7f0d2;">usr/share/oc= aml-dune/man/man1</span>/menhir.1</span></pre></td> </tr> </table> <br> </li> </div> <div class=3D"footer" style=3D"margin-top: 10px;"> <p style=3D"font-size: small; color: #626168;"> =E2=80=94 <br> <a href=3D"https://salsa.debian.org/ocaml-team/menhir/-/compare/a729f2892= f5366c92fed853cd64bc9ba0a2a5356...c37c6bc33b0a600753f98103cf8d0e410a22650= 8">View it on GitLab</a>. <br> You're receiving this email because of your account on <a target=3D"_blan= k" rel=3D"noopener noreferrer" href=3D"https://salsa.debian.org">salsa.de= bian.org</a>. <a href=3D"https://salsa.debian.org/-/profile/notifications= " target=3D"_blank" rel=3D"noopener noreferrer" class=3D"mng-notif-link">= Manage all notifications</a> =C2=B7 <a href=3D"https://salsa.debian.org/h= elp" target=3D"_blank" rel=3D"noopener noreferrer" class=3D"help-link">He= lp</a> <span style=3D"color: transparent; font-size: 0; display: none; overflow:= hidden; opacity: 0; width: 0; height: 0; max-width: 0; max-height: 0;"> Notification message regarding https://salsa.debian.org/ocaml-team/menhir= /-/compare/a729f2892f5366c92fed853cd64bc9ba0a2a5356...c37c6bc33b0a600753f= 98103cf8d0e410a226508 at 1785221568 </span> </p> </div> </body> </html> ----==_mimepart_6a6851c0c8c5f_56dfc60c22587a6--