On January 13, 2016 8:27:10 PM GMT+01:00, "Esteban A. Maringolo" 
<[email protected]> 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

Reply via email to