tree 819aea47f3e4e760b62edf7c7ae217dfdf46264c
parent fae953986f67fc522f138dac7d0469852145d14e
author ebruneton <ebruneton> 1331970933 +0000
committer ebruneton <ebruneton> 1331970933 +0000

patch from David Jencks for feature request #316321