Merge branch 'stable' of vcs.fsf.org:libreplanet-static into stable
authorrsiddharth <rsd@gnu.org>
Fri, 21 Mar 2014 16:48:29 +0000 (22:18 +0530)
committerrsiddharth <rsd@gnu.org>
Fri, 21 Mar 2014 16:48:29 +0000 (22:18 +0530)

Trivial merge