14 Dec
2017
14 Dec
'17
3:04 p.m.
On 14 December 2017 at 14:47, Barend Gehrels via Boost
On December 6, following your request, I modified release notes for Geometry and did a "Propose file change" in github. However, those changes are not yet in the release notes. Maybe what I did was not sufficient or I did make another mistake.
It looks like you edited the file and created a branch: https://github.com/barendgehrels/website/tree/patch-2 But after editing the file there's another form to create a pull request. I guess you didn't submit it, or something went wrong when submitting it. Seems like an easy mistake to make, so I'll point it out in the future.
Anyway, is it still possible to add them?
Sure, I'll merge your branch, which is slightly different.