Richard van der Hoff f4269694ce
Optimise some references to hs.config (#7546)
These are surprisingly expensive, and we only really need to do them at startup.
2020-05-22 21:47:07 +01:00
..
2020-05-15 19:07:24 +01:00
2020-01-16 13:31:22 +00:00