18 Jul
2020
18 Jul
'20
2:29 p.m.
On Jul 17, 2020, at 1:17 AM, Ion Gaztañaga via Boost
On 16/07/2020 7:36, Marshall Clow via Boost wrote:
The master branch is is now open for post-beta merges, but only as described in the Post-Beta Merge Policy.
Hi,
I ask for permission to merge from develop (regression testing looks ok) two low-risk and a high priority issue (the regression was not fully completed before beta):
#128 (surprising move behavior) #126 (repeated include guard) #151 (buffer overflow)
Go ahead. — Marshall