GRUB -

None of the focused investors we track reported holding GRUB in Q3 2018.

See the GRUB overview for the quarters where it was held.