I believe so, yes. The merge for grub has grown quite annoyingly due to shell behavior issues with sourcing files, sigh.
I believe so, yes. The merge for grub has grown quite annoyingly due to shell behavior issues with sourcing files, sigh.