diff options
author | Vincent Ambo <mail@tazj.in> | 2022-06-03T23·21+0000 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-06-06T11·05+0000 |
commit | ebd701b221a7df872b4514aa758c7e410fedc3c8 (patch) | |
tree | 8048566746932aad6556a62f764642486e75f026 /users/wpcarro/assessments/semiprimes/server/.formatter.exs | |
parent | 89ba82005917edcfc6ead10c254bdffbc659272a (diff) |
fix(ops/glesys): Remove now unnecessary workaround r/4219
Remove a workaround for a GleSYS provider bug that was fixed in the last release. Change-Id: Ibd25de0b4dcccd781518d5d0ae1c75d296f6b05f Reviewed-on: https://cl.tvl.fyi/c/depot/+/5845 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'users/wpcarro/assessments/semiprimes/server/.formatter.exs')
0 files changed, 0 insertions, 0 deletions