Changes between Initial Version and Version 1 of Ticket #4007, comment 7


Ignore:
Timestamp:
Dec 14, 2019, 11:57:21 PM (4 years ago)
Author:
hcho

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #4007, comment 7

    initial v1  
    22> ok I have backported it (pls squash-merge in future - I had to cherry-pick all commits individually).
    33
    4 I thought I used the Square and merge button in GitHub... Actually, this seems to be the only way to merge from there, I guess? Not sure what happened. Thanks for the backport!
     4I thought I used the Squash and merge button in GitHub... Actually, this seems to be the only way to merge from there, I guess? Not sure what happened. Thanks for the backport!
    55
    66>