[db-wg] RIPE-NONAUTH AS-SET bug fix