Update DEVELOPERS #42

Closed
wants to merge 1 commit into
from

Conversation

Projects
None yet
4 participants
Contributor

JakubOboza commented Feb 21, 2013

Added --prefix configure option information.

@JakubOboza JakubOboza Update DEVELOPERS
Added --prefix configure option information.
bad6eed
Member

janl commented Feb 21, 2013

Applied, thanks! :)

Contributor

dch commented May 2, 2013

@JakubOboza are you able to close this PR? we've already got it committed but can't close from our end. Thanks!

Owner

Humbedooh commented Jan 5, 2014

@dch It can be closed via a commit message in trunk (or I can close it for you if you like)

Owner

Humbedooh commented Jan 5, 2014

testing github -> dev@, ignore this message :)

Humbedooh closed this Jan 17, 2014

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