Merge proposals

Dr. Gyurkó, M. Dávid has no merge proposals.