ports/189178: lang/ocaml: DEF_OPT option interacts poorly with camlp4

[Michael]

The following reply was made to PR ports/189178; it has been noted by GNATS.

From: Michael <michipili at gmail.com>
To: bug-followup at FreeBSD.org, michipili at 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