tree ea066d2765115893385568e528517aeaa895f8d8
parent 3e0ae45b1054abaf2d992aad928066a1bc970bf8
author ebruneton <ebruneton> 1309706444 +0000
committer ebruneton <ebruneton> 1309706444 +0000

fixed bug #316027 and implemented feature request #316005