Re: Locked file on edit.php.net

Peter Cowburn wrote: > On 8 January 2015 at 20:11, Christoph Becker <cmbecker69@gmx.de> wrote: > >> I just wanted to prepare a patch for the changelog of curl_setopt() wrt. >> CURLOPT_SAFE_UPLOAD via edit.php.net, but when I try to access the file >> I get the message "File modified by ." Apparently, the file is locked >> due to a pending edit by an anonymous Github user since September 2014 >> (I wonder how a Github user login can be anonymous, BTW). I can't >> comment on this unsubmitted patch, but maybe somebody can review it and >> commit resp. revert it, so that I can go on with my patch. >> > > I have cleared the changes in the editor for that file. Go ahead with your > changes. Thanks. Done. :) -- Christoph M. Becker