Jose, I would push those changes to the repo, and once done start fixing
   time module, not before.

Both the patches and the tests are in the trunk now.

-- 
Jose E. Marchesi
[email protected]

GNU Project
http://www.gnu.org


Reply via email to