Terminal

  1. Bug #1004294
  2. Comment #1

Comment 1 for bug 1004294

Revision history for this message
David Gomes (davidgomes) wrote :

Thank you for the bug report and the branch, I just merged it.