Code

Merge main into develop#1088

Code

Merged

tsaglam merged 8 commits intodevelopjplag/JPlag:developfrom mainjplag/JPlag:mainCopy head branch name to clipboardMay 16, 2023

+2-2

Commits

Commits on Feb 15, 2023

• Merge pull request #935 from jplag/develop

  Show description for 0c56723
  tsaglam

  authored
  0c56723

  Copy full SHA for 0c56723

• Fix version number.

  tsaglam

  authored
  284206c

  Copy full SHA for 284206c

Commits on Apr 20, 2023

• Fix broken link in readme

  sebinside

  authored
  8e36337

  Copy full SHA for 8e36337

• Merge pull request #1035 from jplag/readme-fix

  Show description for 91291a3
  tsaglam

  authored
  91291a3

  Copy full SHA for 91291a3

Commits on May 14, 2023

• Change revision to 4.3.0 for the upcoming minor release.

  tsaglam

  committed
  0285829

  Copy full SHA for 0285829

Commits on May 16, 2023

• Merge pull request #1083 from jplag/430

  Show description for 19c4794
  tsaglam

  authored
  19c4794

  Copy full SHA for 19c4794

• Change revision to 4.3.0.

  tsaglam

  authored
  42dade2

  Copy full SHA for 42dade2

• Fix revision 4.3.0.

  tsaglam

  authored
  842a5e3

  Copy full SHA for 842a5e3