Merge early is pretty much my default position ... and that applies to this
context in my view.
Tim.
On Sat, 28 Sep. 2019, 7:44 am Dr. Matthias St. Pierre, <
matthias.st.pie...@ncp-e.com> wrote:
> Hi,
>
> some of you might have loosely followed pull request #9333 (see [1]),
> where I am
Hi,
some of you might have loosely followed pull request #9333 (see [1]),
where I am reorganizing the header files in a more consistent manner.
Since I intend to do the reorganization both to master and the 1.1.1
stable branch (in order to facilitate conflict-free cherry-picking to
the 1.1.1
