Fixes bug #4117 #759

Merged
merged 2 commits into from Nov 18, 2013

Conversation

Projects
None yet
3 participants
@roccivic
Contributor

roccivic commented Nov 18, 2013

Fixes bug #4117: http://sourceforge.net/p/phpmyadmin/bugs/4117/

I couldn't reproduce the bug, but the problem seems pretty obvious.
I also spotted an unused function, which I removed.

@coveralls

This comment has been minimized.

Show comment Hide comment
@coveralls

coveralls Nov 18, 2013

Coverage Status

Coverage remained the same when pulling 0e7a724 on roccivic:4117 into ef39376 on phpmyadmin:master.

Coverage Status

Coverage remained the same when pulling 0e7a724 on roccivic:4117 into ef39376 on phpmyadmin:master.

@ghost ghost assigned lem9 Nov 18, 2013

@lem9

This comment has been minimized.

Show comment Hide comment
@lem9

lem9 Nov 18, 2013

Contributor

Looks fine, thanks.

Contributor

lem9 commented Nov 18, 2013

Looks fine, thanks.

lem9 added a commit that referenced this pull request Nov 18, 2013

@lem9 lem9 merged commit 3d9e591 into phpmyadmin:master Nov 18, 2013

1 check passed

default The Travis CI build passed
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment