profiles/desc/grub_platforms.desc: fix typo
authorMarty E. Plummer <hanetzer@startmail.com>
Fri, 4 May 2018 11:46:22 +0000 (06:46 -0500)
committerAaron Bauman <bman@gentoo.org>
Sat, 5 May 2018 01:31:53 +0000 (21:31 -0400)
commit6ea233a2220fd0db784f22cb93282834aa338f31
tree14a1346016228c85e889438d409a4e3d3ae4872e
parent2755acb5f7f2153f672582a62223398d93b38ae7
profiles/desc/grub_platforms.desc: fix typo

Closes: https://github.com/gentoo/gentoo/pull/8255
profiles/desc/grub_platforms.desc