Skip to content
This repository has been archived by the owner on Jan 10, 2023. It is now read-only.

Removing additional (malformed) occurrence of 'party leader' (Q1553195). #417

Merged
merged 1 commit into from
Oct 14, 2019

Conversation

anders-sandholm
Copy link
Contributor

No description provided.

@anders-sandholm anders-sandholm self-assigned this Oct 14, 2019
@anders-sandholm anders-sandholm changed the title Removing additional (malformed) occurrence of 'party leader (Q1553195). Removing additional (malformed) occurrence of 'party leader' (Q1553195). Oct 14, 2019
@anders-sandholm anders-sandholm merged commit 2850d72 into google:master Oct 14, 2019
@anders-sandholm anders-sandholm deleted the mybranch branch October 14, 2019 12:35
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants