-
Grazyna Jaworska authored
GitHub is now our main repository, we re-open the issue queue there for patches merge requests, while d.o has a code mirror status from now on.
c9d85367
GitHub is now our main repository, we re-open the issue queue there for patches merge requests, while d.o has a code mirror status from now on.