Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix #6974: Add filter widget to api (and a double dot from somewhere) #6985

Merged
merged 1 commit into from Dec 27, 2018

Conversation

J0anJosep
Copy link
Contributor

After running scripts, it seems a new widget has been added but scripts weren't executed.
There is a double dot removal as well.
Don't have much time now and I didn't review where this changes come from, so this PR needs a review. I leave this PR as this, hoping someone can have a look at it.

@nielsmh
Copy link
Contributor

nielsmh commented Dec 5, 2018

Change itself looks fine, your commit message needs to lose the parentheses around the ticket number.

Fix #6974: Add filter widget to api (and a double dot from somewhere)

@nielsmh nielsmh changed the title Fix (#6974): Add filter widget to api (and a double dot from somewhere) Fix #6974: Add filter widget to api (and a double dot from somewhere) Dec 27, 2018
@nielsmh nielsmh merged commit 8890926 into OpenTTD:master Dec 27, 2018
@J0anJosep J0anJosep deleted the AddFilterWidget branch December 27, 2018 10:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants