Serve gzipped version of console asset if it exists#1345

Merged

david-crespo merged 5 commits intomainfrom gzipped-assets

Jul 5, 2022

+148-70

Commits on Jul 1, 2022

serve gzipped version of asset if it exists
david-crespo
committed

Commits on Jul 2, 2022

fix clippy, only send gzip if accept-encoding header says to
david-crespo
committed

Commits on Jul 4, 2022

don't bother finding gzipped file if we're not going to serve it anyway
david-crespo
committed

Commits on Jul 5, 2022