Date: Thu, 1 May 2014 16:30:02 GMT From: Michael <michipili@gmail.com> To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/189178: lang/ocaml: DEF_OPT option interacts poorly with camlp4 Message-ID: <201405011630.s41GU2aP023613@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/189178; it has been noted by GNATS. From: Michael <michipili@gmail.com> To: bug-followup@FreeBSD.org, michipili@gmail.com Cc: Subject: Re: ports/189178: lang/ocaml: DEF_OPT option interacts poorly with camlp4 Date: Thu, 01 May 2014 18:21:16 +0200 That is strange, I submitted ports/189176 over the www interface but only got a denial from the CGI script. It seems that, for some reason, it went through anyway. If I remember correctly: 1. I solved incorrectly the “not a robot”-puzzle (capitalisation mismatch). 2. I posted, saw the denial message and went back to the submit-PR page. 3. I fixed the puzzle. 4. I posted, saw the same denial message again and went back to the submit-PR page. 5. I reloaded the page to get a new puzzle which I solved correctly 6. I posted. While I have seen two denials and one approval, this resulted in two PRs open. It looks like my POST in step 4 went through even if the system displayed the same denial message as in step 2. Best regards, Michael
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201405011630.s41GU2aP023613>