{"ref":"thread_separation_2","ref_type":"branch","master_branch":"master","description":"a graphical interface to configure the GRUB2/BURG settings and menuentries (see: https://launchpad.net/grub-customizer)","pusher_type":"user"}
{"actor":{"display_login":"danielrichter-gc"}}