Added by Iustin Pop about 16 years ago
A pure whitespace change for style compliance
Reviewed-by: amishchenko
View differences