Fri, 13 Oct 2017 10:01:38 +0530 | Pulkit Goyal | topics: use stack.stack() instead of stack.stackdata() | changeset | files |
Tue, 10 Oct 2017 22:48:43 +0200 | Pierre-Yves David | packaging: mark version as bugfix dev version | changeset | files |
Tue, 10 Oct 2017 22:40:41 +0200 | Pierre-Yves David | branching: merge with stable | changeset | files |