Yes, re-open it if it's a bug and still present. It's fairly low priority though, because g-p-m will only shutdown the machine if nobody is around; and if nobody is around, nobody will see the lack of usplash :)
Yes, re-open it if it's a bug and still present. It's fairly low priority though, because g-p-m will only shutdown the machine if nobody is around; and if nobody is around, nobody will see the lack of usplash :)