[dns-wg] WG minutes from RIPE71