0.12.5

Fixed

• Leaked prototyping code.

New features

• Pick file to show history shows a file list and you can choose one for showing history.
• Back to this revision implemented in the Document history dialog.