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
..
2014-08-12 15:10:52 +01:00
2019-12-06 16:02:50 +00:00
2019-12-06 16:02:50 +00:00