Skip to content

Conversation

@rullzer
Copy link
Member

@rullzer rullzer commented Oct 1, 2018

For #10926

@rullzer rullzer merged commit ac8d4b2 into master Oct 2, 2018
@rullzer rullzer deleted the fix/10926/share_indexes branch October 2, 2018 15:16
@Arvidas
Copy link

Arvidas commented Nov 6, 2018

if (!$table->hasIndex('owner_index'))
not if (!$table->hasIndex('uid_owner')) {
and so on

@MorrisJobke
Copy link
Member

if (!$table->hasIndex('owner_index'))
not if (!$table->hasIndex('uid_owner')) {
and so on

🙈

@MorrisJobke
Copy link
Member

Thanks for spotting this.

MorrisJobke added a commit that referenced this pull request Nov 6, 2018
MorrisJobke added a commit that referenced this pull request Nov 6, 2018
@MorrisJobke MorrisJobke mentioned this pull request Nov 6, 2018
@MorrisJobke
Copy link
Member

Fix is in #12312

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

Labels

3. to review Waiting for reviews enhancement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants