follow LoKi->ThOr migration in Rec!3231
must be applied together with Rec!3231 (merged), removes the functor cache generation for LoKi as no longer used.
Edited by Gerhard Raven
GitLab service scheduled maintenance on Friday, March 21st 2025 as of 08h00 Geneva time for an estimated period of 1 hour. Further information under OTG0154918.
must be applied together with Rec!3231 (merged), removes the functor cache generation for LoKi as no longer used.