Closed katexochen closed 4 days ago
backport of https://github.com/edgelesssys/contrast/pull/619
fixes https://github.com/edgelesssys/contrast/issues/624
(cherry picked from commit c490d2db36a78866eb36f40dfd9e2f5905a50f6e)
backport of https://github.com/edgelesssys/contrast/pull/619
fixes https://github.com/edgelesssys/contrast/issues/624
(cherry picked from commit c490d2db36a78866eb36f40dfd9e2f5905a50f6e)