Re: [boost] [timer] May I apply trivial fix?