On Mon, Aug 15, 2016 at 2:53 PM, Stefan Beller <sbel...@google.com> 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.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html