search

boostorg / graph

Boost.org graph module
http://boost.org/libs/graph
326 stars 208 forks source link

Merge develop into master for 1.80.0 release #305

Closed jeremy-murphy closed 2 years ago

jeremy-murphy commented 2 years ago

It's my first time merging develop into master, so can you just make sure I'm not screwing it up please, @jzmaddock ? Thanks! :)

jzmaddock commented 2 years ago

So far as I can see it looks all good to me, but then I'm down with COVID at present, so I only have half a brain working right now! ;)

jeremy-murphy commented 2 years ago

So far as I can see it looks all good to me, but then I'm down with COVID at present, so I only have half a brain working right now! ;)

Oh no! Let's hope it's your good half! ;)

Hope you recover soon, John.

jeremy-murphy commented 2 years ago

Btw, do I have to do something to update the release notes, or does someone from the release team do that?

jzmaddock commented 2 years ago

Ah no, thanks for the reminder I must update my stuff!

You need to submit a PR to https://github.com/boostorg/website/blob/master/feed/history/boost_1_80_0.qbk

jeremy-murphy commented 2 years ago

Oh dear, I didn't read your last message properly and I didn't open a PR. I guess I should do so asap?