On 2012-12-22 18:53, Sönke Ludwig wrote: > - jumps to line numbers on github (which are off because of changes after the release) Can you lock it to the same hash that the docs are generated from? -- /Jacob Carlborg