Thanks for the report. That is indeed a bug in the Ubuntu resolvconf package and your patch is the correct fix for it.
Thanks for the report. That is indeed a bug in the Ubuntu resolvconf package and your patch is the correct fix for it.