]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #69095 - GuillaumeGomez:minified-theme-check, r=Dylan-DPC
authorDylan DPC <dylan.dpc@gmail.com>
Wed, 12 Feb 2020 19:37:02 +0000 (20:37 +0100)
committerGitHub <noreply@github.com>
Wed, 12 Feb 2020 19:37:02 +0000 (20:37 +0100)
commit839adda4be859bac6518d3d3e0f6093defefae65
tree9c45a3952226d8b45af81afb0312ca486ed33efc
parente86019c4a0968a1e393cdd0731649168624a88b8
parent109260f8f0d97d6f1aacefdee806103eac5144eb
Rollup merge of #69095 - GuillaumeGomez:minified-theme-check, r=Dylan-DPC

Minified theme check

Fixes #69071.

r? @kinnison