# # # patch "policy.hh" # from [9a6cdc2fb6f69de9c4308947298b4df5fedd4b51] # to [d1ac47aba3f5f99d6d3b0a24ce31010777809fa9] # ============================================================ --- policy.hh 9a6cdc2fb6f69de9c4308947298b4df5fedd4b51 +++ policy.hh d1ac47aba3f5f99d6d3b0a24ce31010777809fa9 @@ -38,6 +38,14 @@ public: branch_cert_value(_branch_cert_value), committers(_committers) { } + branch_policy(branch_policy const & rhs) + : _visible_name(rhs._visible_name), + _branch_cert_value(rhs._branch_cert_value), + _committers(rhs._committers), + visible_name(_visible_name), + branch_cert_value(_branch_cert_value), + committers(_committers) + { } branch_policy const & operator=(branch_policy const & rhs) {