It should be as simple as
git review –d 3139
# make change
git commit -a --amend
git review
There's nothing "special" about changes uploaded by other users, so once you've got the change in a branch (which is what -d does) the rest of the process is pretty standard.
> On Jul 20, 2014, at 22:49, Joerg Mayer <jmayer@xxxxxxxxx> wrote:
>
> Hello Gerald,
>
> as I'm too dumb to attach a corrected version of the docbook/CMakeLists.txt
> to https://code.wireshark.org/review/#/c/3139/
> I'm sending it via the list....
>
> Ciao
> Jörg
> --
> Joerg Mayer <jmayer@xxxxxxxxx>
> We are stuck with technology when what we really want is just stuff that
> works. Some say that should read Microsoft instead of technology.
> <CMakeLists.txt>
> ___________________________________________________________________________
> Sent via: Wireshark-dev mailing list <wireshark-dev@xxxxxxxxxxxxx>
> Archives: http://www.wireshark.org/lists/wireshark-dev
> Unsubscribe: https://wireshark.org/mailman/options/wireshark-dev
> mailto:wireshark-dev-request@xxxxxxxxxxxxx?subject=unsubscribe