Revision 1.2.12; see HISTORY.md