03.07.2017 18:13, Peter Maydell wrote:
> Add documentation comments describing the public API of the
> ptimer countdown timer.

Applied to -trivial, thanks a lot!

/mjt

Reply via email to