2026-07-07T22:31:32+0200 Theo Buehler <tb@theobuehler.org>:
> On Tue, Jul 07, 2026 at 06:54:47PM +0000, Johannes Thyssen Tishman wrote:
> > Please find below an update for graphics/coin to version 4.0.10.
> > 
> > Changelog: https://github.com/coin3d/coin/releases/tag/v4.0.10
> > 
> > Notes about this update:
> > 1. 100% tests passed, 0 tests failed out of 1
> > 2. Minor bump due to dynamic export addition
> 
> ok
> 
> > 3. Build tested consumers graphics/py-pivy (all tests passing) and
> >    cad/freecad, which needs the patch below (is the REVISION bump
> >    needed?)
> 
> When in doubt, bump...
> 
> The REVISION bump is probably unnecessary. It will certainly be
> unnecessary if unpatched freecad doesn't build with 4.0.10 installed.

This is the case, as freecad won't build with coin 4.0.10 without the
patch. Anyhow, I forgot to revert the Makefile and ended up committing
it with the revision bump :/

> If unpatched freecad does build but has missing functionality because
> presence of coin 4.0.10 isn't detected, a bump ensures that people who
> somehow managed to install a bad package (from a cvs checkout or git
> sync picking up the coin update but not the freecad patch) will end up
> with the good p0 package eventually.

I've now appended your comments to my porting notes. Thank you as always
for the detailed explanation :)