-
Herbert Valerio Riedel authored
Resolves the non-vcs-related part of #5643 NB: this patch mostly moves around code; use `git show --ignore-space-change` to facilitate code-review (cherry picked from commit c40622d4)
312159e6
Resolves the non-vcs-related part of #5643 NB: this patch mostly moves around code; use `git show --ignore-space-change` to facilitate code-review (cherry picked from commit c40622d4)