minghua, it has been 4 months. Have you got a patch available? -- feature request for --enable-history-file build option https://launchpad.net/bugs/72072
-- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
