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 |
|
Jakob Ackermann
|
51af6558cc
|
Merge pull request #12831 from overleaf/jpa-project-history-pipe
[project-history] migrate to fetch/stream.pipeline
GitOrigin-RevId: 9224eab6a0ad9cbb0c80e443a1c0d4abdd9bbd0f
|
2023-05-09 08:04:14 +00:00 |
|
Alf Eaton
|
ee85d948e2
|
Avoid duplicating a math-closing dollar sign (#11227)
GitOrigin-RevId: ef2ef77e26df59d1af3df6dc664e284d3c70102d
|
2023-01-16 08:41:42 +00:00 |
|