[LyX master] Merge branch 'master' of git.lyx.org:lyx
The branch, master, has been updated. - Log - commit 56e6549b11bbba857fba1fe620b589b9b923d456 Merge: 719ec62 4dd86ad Author: Juergen Spitzmueller sp...@lyx.org Date: Sat Aug 25 10:49:08 2012 +0200 Merge branch 'master' of
[LyX master] Merge branch 'master' of git.lyx.org:lyx
The branch, master, has been updated. - Log - commit 56e6549b11bbba857fba1fe620b589b9b923d456 Merge: 719ec62 4dd86ad Author: Juergen SpitzmuellerDate: Sat Aug 25 10:49:08 2012 +0200 Merge branch 'master' of