Synopsis: history_get_history_state() can report wrong history length State-Changed-From-To: feedback->closed State-Changed-By: kre%NetBSD.org@localhost State-Changed-When: Sun, 17 Sep 2017 17:33:12 +0000 State-Changed-Why: Submitter confirms that problem is fixed