Enable -Wcheri-compartment-return-void for lib/dns#65

resistor wants to merge 1 commit intoCHERIoT-Platform:mainCHERIoT-Platform/network-stack:mainfrom

resistor:mainresistor/network-stack:mainCopy head branch name to clipboard