Undo unintended changes - SemanticDiff

Commit

1 year ago

Undo unintended changes Co-authored-by: Sebastian Oehms <47305845+soehms@users.noreply.github.com>

References

#38251 - .ci/write-dockerfile.sh, docker/Dockerfile: Fix Docker warning FromAsCasing

Author

mkoeppe

mkoeppe

Parents

Loading