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

Revert modifications #14275

Merged
merged 1 commit into from
May 9, 2018

Conversation

williamdes
Copy link
Member

Fixes an error introduced by #13894 in PR #14202

Signed-off-by: William Desportes <williamdes@wdes.fr>
@williamdes williamdes force-pushed the issue-13894-bin-fk-bug branch from faf047f to c19dec2 Compare May 9, 2018 22:07
@codecov
Copy link

codecov bot commented May 9, 2018

Codecov Report

Merging #14275 into master will increase coverage by <.01%.
The diff coverage is 100%.

@@             Coverage Diff              @@
##             master   #14275      +/-   ##
============================================
+ Coverage     50.42%   50.42%   +<.01%     
  Complexity    14388    14388              
============================================
  Files           502      502              
  Lines         67039    67037       -2     
============================================
- Hits          33807    33806       -1     
+ Misses        33232    33231       -1

@MauricioFauth MauricioFauth merged commit e34e226 into phpmyadmin:master May 9, 2018
@MauricioFauth MauricioFauth added this to the 5.0.0 milestone May 9, 2018
@MauricioFauth MauricioFauth self-assigned this May 9, 2018
@MauricioFauth
Copy link
Member

Merged, thanks for your contribution!

@williamdes williamdes deleted the issue-13894-bin-fk-bug branch May 10, 2018 11:53
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.

2 participants