Comment 1 for bug 1936822

Revision history for this message
Piotr Henryk Dabrowski (phd) wrote :

The repository has recently been switched to git, so this ticket can now be closed.