jwilberding/sinan — comment on commit 257f71fe6b948bce99313e7fe80fc3bc408a22d9
File:  line 0
By ericbmerritt:

Hey man. I am good with this except for one thing. Lets change the name of the config entry from release_include_erts to just include_erts. It can be specialized with the config stuff.