Migrate singletons patches to more recent versions
parent
077054a6
No related branches found
No related tags found
Showing
- ci/config.sh 1 addition, 1 deletionci/config.sh
- patches/singletons-3.0.2.patch 5 additions, 5 deletionspatches/singletons-3.0.2.patch
- patches/singletons-base-3.1.1.patch 1 addition, 21 deletionspatches/singletons-base-3.1.1.patch
- patches/singletons-th-3.1.1.patch 61 additions, 72 deletionspatches/singletons-th-3.1.1.patch
- patches/th-desugar-1.14.patch 34 additions, 49 deletionspatches/th-desugar-1.14.patch
Loading
Please register or sign in to comment