Ubuntu-devel-discuss Digest, Vol 144, Issue 13 responded that my problem could be caused by this bug. It would be Ubuntu 18.04 on DigitalOcean, the symptom being that apt updates were attempting to overwrite php.ini and asking about GRUB. I have no more information, this is FYI, feel free to close.
Ubuntu- devel-discuss Digest, Vol 144, Issue 13 responded that my problem could be caused by this bug. It would be Ubuntu 18.04 on DigitalOcean, the symptom being that apt updates were attempting to overwrite php.ini and asking about GRUB. I have no more information, this is FYI, feel free to close.