Re: When to reboot after dist-upgrade?

[Greg Wooledge]

On Mon, May 03, 2021 at 09:16:40AM -0400, Stefan Monnier wrote:
> Me, I basically only reboot in 2 cases:
> - the power went out
> 
> 
>         Stefan

There are two difficult problems in computing: naming things, cache
invalidation, and off-by-one errors.