-
Petr Špaček authored
This reverts commit c3a754dd, reversing changes made to 06d01bf0. I've have accidentally merged incorrect branch, let's try to fix that by reverting incorrect version of GC and merging the correct one.
This reverts commit c3a754dd, reversing changes made to 06d01bf0. I've have accidentally merged incorrect branch, let's try to fix that by reverting incorrect version of GC and merging the correct one.