[ripe-list] discussion time at RIPE meetings