Closed plavjanik closed 4 years ago
Fix for a problem reported by @dkelosky:
Signed-off-by: Petr Plavjanik plavjanik@gmail.com
Items we reviewed:
Fix for a problem reported by @dkelosky:
Signed-off-by: Petr Plavjanik plavjanik@gmail.com