God damn it sorry, I wanted to submit this to the respective PPA ondrej/php - SORRY! It seems to have redirected me the wrong way after registering.
edit: Seems like this is still the right place? Can you confirm this for me? Any idea where else the ondrej/php bug tracker might be?
God damn it sorry, I wanted to submit this to the respective PPA ondrej/php - SORRY! It seems to have redirected me the wrong way after registering.
edit: Seems like this is still the right place? Can you confirm this for me? Any idea where else the ondrej/php bug tracker might be?