9 Sep
2018
9 Sep
'18
7:42 p.m.
Hi, I submitted a PR 1 month ago. Something rather trivial. How can it be merge? https://github.com/boostorg/ublas/pull/56 Thanks, F