github/overleaf
1
0
Fork 0
mirror of https://github.com/overleaf/overleaf.git synced 2025-02-19 22:33:53 +00:00
Code Issues Projects Releases Packages Wiki Activity
overleaf/services
History
Jakob Ackermann 63fb7a022a Merge pull request #4342 from overleaf/jpa-fix-clsi-server-id-handling 
[misc] get current clsi server id directly from compile response

GitOrigin-RevId: 403e7ca35270a8937a0066fe2c8daf52ed71531d
2021-07-28 02:06:29 +00:00
..
web Merge pull request #4342 from overleaf/jpa-fix-clsi-server-id-handling 2021-07-28 02:06:29 +00:00