[Bash/Readline/History] history_tokenize () bug (second edition)

[Fabrice Bauzac]

Hello,

I am repeating my message, since no one answered.

Here is my question: shouldn't history_tokenize () return a pointer to
NULL, instead of NULL, in the case of an empty line?

It would be more logic and less error-prone; moreover it would follow
ots documentation.

I can correct it.

Thanks,
-- 
Fabrice Bauzac
Software should be free.