is-05-09-10
Serguei Kolos's avatar
Serguei Kolos
@kolos
fd73931a · Fix bug in the infostream class. · 
Fix bug in the infostream class.