On Mon, Aug 15, 2016 at 2:53 PM, Stefan Beller [off-list ref] wrote:
In the next patch we introduce optional references; To better distinguish
between optional and required references we rename the variable.
Makes sense. It's a bit weird to process "option_required_reference"
but I think it is reasonable.
Regards,
Jake