Even though there haven't been a lot of changes since 3.1.1, there are some nice bug fixes in git.
I just updated doc/NEWS with all changes. Alexis, do you want to prepare a 3.1.2 release? -- Martin Michlmayr http://www.cyrius.com/ -- --- You received this message because you are subscribed to the Google Groups "Ledger" group. To unsubscribe from this group and stop receiving emails from it, send an email to ledger-cli+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
