On Wed, Dec 14, 2016 at 01:26:42PM +0200, Igor Vlasenko wrote:
> Господа,
> 
> Зашел с утра на rbasalt.

А что такое rbasalt?  Если это чей-то персональный сборочный сервер,
то стоит ли об этом в devel?


-- 
ldv