Closed ThierryO closed 3 years ago
@ThierryO I just had a quick look. I think you best merge branch csl into your branch; it contains the (current) state of 6 Aug (the first commit in your branch is from 9 June).
csl
@florisvdh My plan is to first handle this PR, and then merge your cls branch to master.
@ThierryO I just had a quick look. I think you best merge branch
csl
into your branch; it contains the (current) state of 6 Aug (the first commit in your branch is from 9 June).