Re: Time for 3.1.2 release?

2016-08-01 Thread Alexis 
Hello everyone,

I pushed the latest changes from next to the release/3.1.2 branch
and kindly ask that anyone willing to spend some time and effort
test those changes and report any issues.

Hopefully there are no (or only minor) issues.  If you think a
currently outstanding pull request should make it into this release
please speak up and help integrate it.

To test ledger please:
  * build the release/3.1.2 branch
  * run the tests (make test)
  * do your own test with your personal workflow
  * report success or any issues to this mailing list,
be sure to include the operating system
boost version, and build output

I'm planning to publish the release in a week from now:

  Monday, 8th of August 2016,

giving those who want to participate in testing roughly a week
to review the latest changes.


Thanks
Alexis

-- 

--- 
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.

Re: Time for 3.1.2 release?

2016-08-01 Thread Alexis 
Hi Martin,

Sure, already on it.


Best
Alexis

-- 

--- 
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.

Time for 3.1.2 release?

2016-07-29 Thread Martin Michlmayr 
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.