{"head":"fe3a8599593a50dfbfd5a0a0506493ddaf25f6eb","size":1,"push_id":43970059,"shas":[["fe3a8599593a50dfbfd5a0a0506493ddaf25f6eb","123227eb0f20dd1e3a23efe790d2134219c55afd@xamarin.com","Fixed 'Bug 1034 - Cannot change key type in plist editor advanced\ntab'.","Mike Krüger"]],"ref":"refs/heads/master"}