In article <ylvguk1w07.fsf at windlord.stanford.edu>, Russ Allbery <rra at stanford.edu> wrote; } Works for me. We'll make both of those configure options go away once we } have a history API and a more flexible way of choosing one's history } format. Looks reasonable to me also. -- Katsuhiro Kondou