typo fix
[tools/mic.git] / VERSION
1 0.20