Jan. 13, 2016
7:38 p.m.
On January 13, 2016 8:27:10 PM GMT+01:00, "Esteban A. Maringolo" <emaringolo@gmail.com> wrote:
Is the Ubuntu PPA updated automatically by the CI?
No. Markus, on CC, is responsible for that. -- Damien Cassou http://damiencassou.seasidehosting.st "Success is the ability to go from one failure to another without losing enthusiasm." --Winston Churchill