On 07/06/18 23:36, David Kastrup wrote:
> Thomas Morley writes:
>
>> One additional question: If I want to add something to the then
>> updated branch, would
>> $ git push origin HEAD:dev/guile-v2-work
>> work or would I need to follow the route you described above?
>
> As long as you don't reba
"James Lowe" writes:
> Hello,
>
> On Fri, 8 Jun 2018 00:40:46 +0200, Thomas Morley
> wrote:
>
>> 2018-06-08 0:36 GMT+02:00 David Kastrup :
>> > Thomas Morley writes:
>> >
>> >> One additional question: If I want to add something to the then
>> >> updated branch, would
>> >> $ git push origin H
Hello,
On Fri, 8 Jun 2018 00:40:46 +0200, Thomas Morley
wrote:
> 2018-06-08 0:36 GMT+02:00 David Kastrup :
> > Thomas Morley writes:
> >
> >> One additional question: If I want to add something to the then
> >> updated branch, would
> >> $ git push origin HEAD:dev/guile-v2-work
> >> work or wo
On 2018/06/08 10:29:40, dak wrote:
On 2018/06/08 09:54:29, knupero wrote:
> Please review.
When you say "will not pass make check", you mean that there are
visual
differences, not that the test aborts, right? Since the latter would
not be ok.
Exactly. There is an intended visual differenc
On 2018/06/08 09:54:29, knupero wrote:
Please review.
When you say "will not pass make check", you mean that there are visual
differences, not that the test aborts, right? Since the latter would
not be ok.
https://codereview.appspot.com/347870043/
Reviewers: ,
Message:
Please review.
Description:
Fix out-of-sync LilyScriptEncoding / ps script defs
Commit 12fe78825798191ecb7e5a4ee3064679773ae1ab broke
encodingdefs.ps.
This patch will not pass 'make check', but this is ok
as the current state is wrong.
I did not care about the 80-charact