Mathias JakobsenandCopybot 4763cfd59e Merge pull request #16058 from overleaf/jpa-faster-restart ...

[misc] faster service shutdown in dev-env

GitOrigin-RevId: c5589844aefe3ca097756b188e02354ab518b94d

2023-12-08 09:04:01 +00:00

..

settings.defaults.js

Merge pull request #16058 from overleaf/jpa-faster-restart

2023-12-08 09:04:01 +00:00