Skip to content

Hadrian: fix ghcDebugged and document it

We were not actually making use of that field as expected, this patches fixes that and also adds a little bit of documentation about that field in hadrian/doc/user-settings.md.

Merge request reports