On September 30, the Michigan Libertarian Party filed this cert petition with the U.S. Supreme Court in Libertarian Party of Michigan v Ruth Johnson. The issue is whether sore loser laws in Michigan and nationally can be applied to presidential primaries. The Michigan Secretary of State wouldn’t put Gary Johnson on the ballot as the Libertarian nominee last year because his name had appeared on the Michigan Republican presidential primary, held in January 2012. Johnson’s name was on the Republican presidential primary ballots in 7 other states in 2012, but no other state kept him off the general election ballot for that reason.
UPDATE: the case number is 13-421.