add time in default trace handler
[fanfix.git] / VERSION
1 4.7.2-dev