Skip to content
Unverified Commit 89647059 authored by Andreas Rammhold's avatar Andreas Rammhold Committed by GitHub
Browse files

Merge pull request #75181 from wamserma/fix-modules-shrunk 

modules-shrunk: preserve module priorities from build
parents 4d3f8649 34b04a63
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment