ensure that .init_pal() with new .pal_*() options refreshes the backend
#46
This job was skipped
Loading
.init_pal() with new .pal_*() options refreshes the backend
#46