On Sun, Feb 02, 2020 at 09:04:47PM -0700, Jerry James wrote:
On Sat, Feb 1, 2020 at 6:04 PM Kevin Fenzi <kevin(a)scrye.com>
wrote:
> Aside from a few stragglers, the mass rebuild is complete.
That's great! Thanks for all of your work making this happen, Kevin.
I do want to point out that at least one of my packages, GAPDoc, does
not seem to have had a build started at all. For this package, it
shouldn't matter, but I point this out in case it happened to other
packages, too.
That needs some investigation. Can you file a releng ticket on it?
We need to sort out why it wasn't built... I do see the commit, but
oddly no build at all.
kevin