Martial law typically involves the suspension of ordinary law and the imposition of direct military control, which for a relatively fresh democracy like South Korea doesn't sound like a nothing-burger exactly.

Makes me think of the Gwangju Uprising in 80s, which happened after martial law was instated, after a military dictator was put in place. IIRC, the US was also involved with the newly installed military junta.