Use https://debuginfod.debian.net as our debuginfod service (!2) · Merge requests · Debian GCC Maintainers / elfutils · GitLab

Sergio Durigan Junior requested to merge sergiodj/elfutils:debuginfod-debian-net into master Feb 24, 2021

This MR implements the changes necessary to use https://debuginfod.debian.net as our default debuginfod service, as requested by https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=983434.

@doko and @kroeckx, I'd appreciate your review. TIA!