Tim Ruehsen writes:
> thanks, just push patch #1.
I've included that patch below (which I think is the correct way to
submit it). It applies to the current commit (4734e8d 2017-01-17
15:16:40 +0100 * NEWS: update).
> The second one is still not a candidate for a release.
On Tuesday, January 31, 2017 5:10:35 PM CET Dale R. Worley wrote:
> Are the following two commits that I submitted in the current release?
> I can't see any signs of them, even though I've gone through the
> paperwork and they seemed to be accepted.
>
> commit
Are the following two commits that I submitted in the current release?
I can't see any signs of them, even though I've gone through the
paperwork and they seemed to be accepted.
commit de020df92a797aa1b9ad339bb8a01df872ef4f23
Author: Dale R. Worley
Date: Wed Nov 2 12:14:46