Hi, probably related to the 20201215 UPDATING note:
during an update from last year's main to now I hit the following error: install: /usr/libexec/kgdb exists but is not a directory Which is true as the old binary was still lingering around. -r-xr-xr-x 1 root wheel 2833328 11 Aug. 2020 /usr/libexec/kgdb UPDATING should probably include that delete-old needs to be run at some point or the binary needs to be removed manually? /bz -- Bjoern A. Zeeb r15:7
