Change History for Ticket #12357

Version Date Author Comment
29 8 years jdemeyer
11 9 years SimonKing Done! Apply trac12357_internal_strong_groupoid_cache.patch …
0 9 years SimonKing Initial version