David
|
e3513a9d50
|
Merge pull request #16545 from overleaf/dp-project-owner-delete-labels
Allow project owners to delete history labels
GitOrigin-RevId: 16111337681ac4085db2cf48e9d4c2fa87993b77
|
2024-01-23 09:03:08 +00:00 |
|
Christopher Hoskin
|
ced8a923c0
|
Merge pull request #16218 from overleaf/csh-issue-11625-mongo-ug-5-project-history
Upgrade mongodb module for project-history
GitOrigin-RevId: 18782896b46b2b0512a1ce50215bb98ac3d46cea
|
2023-12-18 09:04:07 +00:00 |
|
Alf Eaton
|
ee85d948e2
|
Avoid duplicating a math-closing dollar sign (#11227)
GitOrigin-RevId: ef2ef77e26df59d1af3df6dc664e284d3c70102d
|
2023-01-16 08:41:42 +00:00 |
|