[issue17507] To add history time format in readline

[Martin Panter]

Martin Panter added the comment:

Is this related to Readline’s history_write_timestamps() feature, or is this a request for Python to make a custom history file?

----------
components: +Extension Modules -Library (Lib)
nosy: +martin.panter

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue17507>
_______________________________________