[koha-commits] main Koha release repository branch new/bug_8107 deleted. v3.08.00-139-gfe82373
Git repo owner
gitmaster at git.koha-community.org
Sat Aug 24 11:31:05 CEST 2013
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "main Koha release repository".
The branch, new/bug_8107 has been deleted
was fe823735a5a427ddfdcf873352c72aff4ea3879f
-----------------------------------------------------------------------
fe823735a5a427ddfdcf873352c72aff4ea3879f Bug 8107 - Disabled buttons not distinguishable from enabled buttons
-----------------------------------------------------------------------
hooks/post-receive
--
main Koha release repository
More information about the koha-commits
mailing list