$include_dir="/home/hyper-archives/boost/include"; include("$include_dir/msg-header.inc") ?>
Subject: Re: [boost] Reminder: 1.65 closes for major changes tomorrow
From: Frédéric Bron (frederic.bron_at_[hidden])
Date: 2017-06-27 15:47:41
> Christian is the maintainer. I looked at your patch and I guess I would
> have used .max().
yes, both should give the same. I agree with max().
> Regardless, can you please make a PR.
OK, I have to understand what a pull request means.
Frédéric