Re: #5355 Doc: document grob metadata in SVG output in Notation Reference

On 06/28/2018 03:35 AM, pkx166h wrote: * *Patch*: countdown --> push * *Comment*: Patch counted down - please push I tried pushing my patch to staging and got the following error: $ git push origin HEAD:staging fatal: remote error: access denied or repository not exported:

Re: No hint on outdated translated docs

On 30.06.2018 21:33, Federico Bruni wrote: Hi Simon There's already an open issue about this request. Opened by me, IIRC. I also suggested to move the language selection from the footer to the header of each page. In another issue.. It's all in the tracker. We miss someone willing to work

Re: No hint on outdated translated docs

Hi Simon There's already an open issue about this request. Opened by me, IIRC. I also suggested to move the language selection from the footer to the header of each page. In another issue.. It's all in the tracker. We miss someone willing to work on it.