Hello maintainers, We've stabilized kiel in March. It will be 6 months in September, what would you think about promoting bratislava to stable? One thing I would maybe like to do is rolling back GCC version to 4.8.2, because gccgo produces broken/segfaulting binaries: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61303 Maciej