I think it is safe to merge it. It seems to be a small change and it only makes the graphics more consistent.
And we have a bunch of bugs on our list that will delay b18 anyways for a while longer.
I think it is safe to merge it. It seems to be a small change and it only makes the graphics more consistent.
And we have a bunch of bugs on our list that will delay b18 anyways for a while longer.