[sr-dev] git:master: core: dns resolver patch bugfix