Comment 9 for bug 1100587

Indeed, the uploaded version doesn't include my change. The uploaded version has the following changelog:

gnome-control-center (1:3.4.2-0ubuntu0.9) precise; urgency=low

  * debian/UbuntuLogo.png: logo was saying 12.04.1 LTS, go back to just
    use "12.04 LTS" to avoid having to keep updating it (lp: #1116801)

 -- Sebastien Bacher <email address hidden> Thu, 07 Feb 2013 17:57:58 +0100

Whereas my patch had the following changelog:

gnome-control-center (1:3.4.2-0ubuntu0.9) precise; urgency=low

  * Added debian/patches/remove-manual-proxy-in-auto.patch to also remove
    the manual proxy setting when in AUTO mode. (LP: #1100587)

 -- Margarita Manterola <email address hidden> Tue, 05 Feb 2013 11:55:06 +0100

I guess the other change was already in the pipeline, but the corresponding fix has not gone in.