Skip to content

Conversation

rueckstiess
Copy link
Contributor

No description provided.

rueckstiess added a commit that referenced this pull request Jul 8, 2015
also fixing a bug that caused the type bars to not adjust their widths after filter/unfilter.

This makes PR #55 obsolete. Closes #55.
@rueckstiess
Copy link
Contributor Author

Handled in #56.

@rueckstiess rueckstiess closed this Jul 8, 2015
rueckstiess added a commit that referenced this pull request Jul 9, 2015
also fixing a bug that caused the type bars to not adjust their widths after filter/unfilter.

This makes PR #55 obsolete. Closes #55.
@kangas kangas added the bug label Jul 10, 2015
@rueckstiess rueckstiess deleted the INT-352-type-bar-bug branch September 1, 2015 05:20
gribnoysup pushed a commit that referenced this pull request Apr 26, 2021
* Standardise mongodb-runner CI

mongodb-js/connection-model#138

* Remove trailing comma
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants