CBMC of Korea: Edit history
| Revision | Time (UTC) | Contributor | Summary | Status |
|---|---|---|---|---|
| #8609 | 2026-11-05 01:48:32 | AI localization | Localized for English-speaking readers (msgbatch_01GvFKF6zaroxwZ2RCatyoPp) | approved |
| #8608 | 2026-11-05 01:48:32 | AI translation | English baseline before localization (msgbatch_01GvFKF6zaroxwZ2RCatyoPp) | approved |