20/03/2014 11:05, Jean-Marc Lasgouttes:
The branch, str-metrics, has been updated.- Log ----------------------------------------------------------------- commit 82c77f14dbf637e793f38a62c020b024e2eece44 Author: Jean-Marc Lasgouttes <lasgout...@lyx.org> Date: Thu Mar 20 11:00:14 2014 +0100 Fix bug #9040: In RtL documents end-of-paragraph marker shifts the row display
When trying to point to this commit in trac, I noticed that there is no shortcut for the features git repository (featgit or whatever). I tried to add it dfrom the administrative panel but then was told that some extra works needs to be done on the server.
Richard, Vincent, do you know how to create this new shortcut for features.git commits? Could you do it?
JMarc
