Miguel Serrano 63dbea0092 Merge pull request #13211 from overleaf/jpa-hotfix-4-0-1 ...

[server-pro] prepare hotfix 4.0.1

GitOrigin-RevId: 42b543d5468614a820ca7f9f29c5c6b83d1f7e69

2023-05-31 08:04:41 +00:00

..

Dockerfile

Merge pull request #13211 from overleaf/jpa-hotfix-4-0-1

2023-05-31 08:04:41 +00:00

outline_doc_icon.patch

Merge pull request #13211 from overleaf/jpa-hotfix-4-0-1

2023-05-31 08:04:41 +00:00

pr_13229_ce_only.patch

Merge pull request #13211 from overleaf/jpa-hotfix-4-0-1

2023-05-31 08:04:41 +00:00