K 10
svn:author
V 5
mmacy
K 8
svn:date
V 27
2018-05-19T04:07:00.478514Z
K 7
svn:log
V 77
filt_timerdetach: only assign to old if we're going to check it in
a KASSERT

END