tree 752a3fb6cfb52b6a82da43c66075f6e5f690abdc
parent 8960e38650a497562862a271012dc5e2fdf1a6b5
author Nick Metz <nick.metz@fhe3.com> 1512232953 +0100
committer Nick Metz <nick.metz@fhe3.com> 1512232953 +0100

Fix for issue #39. Cluster setting cluster_partition_handling can now be changed via pillars.