[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: When to reboot after dist-upgrade?



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.


Reply to: