PPI/RateFilter: added interval getter
[senf.git] / debian / compat
1 5