I had another surprise. I create a new GIT branch to do some debugging. Afterwards I switched back to master and did make.
To my surprise this started a completely new build of Sage. Is this normal? Best, Michel -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/sage-support/e1a33d3f-35fb-4695-872d-7ea2bda3b6d5n%40googlegroups.com.
