<div id="comment:0"></div> Followup on #21501: Some more places with 'local' hardcoded: - Makefile target micro_release has hardcoded "local". CC: @mkoeppe @miguelmarco Component: **build** Reviewer: **Matthias Koeppe, Samuel Lelièvre** _Issue created by migration from https://trac.sagemath.org/ticket/21534_