The branch 'mikael/heads/base_patch' in namespace 'refs/users' was deleted. It previously pointed to:
8f05d8056216... Correction array_constructor_1 Diff: !!! WARNING: THE FOLLOWING COMMITS ARE NO LONGER ACCESSIBLE (LOST): ------------------------------------------------------------------- 8f05d80... Correction array_constructor_1
