tree 6e8795b263798a1a85af22d9042f31472416dbf8
parent 153156e31a5dad92f9f04cc0124dcbf90992641f
parent e14e042f2fcbd3be1b86cfe4c47ae4e6dc143bb3
author Nabin Hait <nabinhait@gmail.com> 1484897095 +0530
committer GitHub <noreply@github.com> 1484897095 +0530

Merge pull request #7543 from RobertSchouten/leave_allocation_fix

[fix] remove invalid parameter from leave allocation