Skip to content

Harmonize compilation-info face

compilation-info is frequently shown together with compilation-{error|warning}, i.e., it makes sense to also make it bold.

Compilation

I also took the liberty of reorganizing the faces a bit.

Merge request reports