On 8/21/14 4:28 PM, Fabien COELHO wrote:> I'm fine with "$(missing)" or whatever else that provides a clear message.
I've committed the $(missing) use separately, and rebased this patch ontop of that.