6 Jan
2014
6 Jan
'14
4:43 p.m.
Hi all
I've made few changes to our Jenkins server:
- it now has runkit and gmp extensions, thus should be able to run complete testsuite - changed authentication to use GitHub, I think it's better to rely on that than requiring yet another password
--
Michal Čihař | http://cihar.com | http://phpmyadmin.net