git version 2.4.0
HEAD is now at acdb482 tool_setopt: reduce use of "code hiding" macros
acdb48272a53fe97f63e5437fce27c7036a9c43e