Closed jeanbez closed 1 year ago
Jean Luca, I find it strange that this PR also includes old patches that were previously landed to 'main' under PR #251. Was this patch developed on an old branch that wasn't rebased to main before the push?
Jean Luca, I find it strange that this PR also includes old patches that were previously landed to 'main' under PR #251. Was this patch developed on an old branch that wasn't rebased to main before the push?
Yep, my bad! Let me fix that and redo this.
Updates ISC'23 production lists. This update will still require a manual flush of the cache in the server after it is merged.