This repository was archived by the owner on Sep 3, 2025. It is now read-only.

Fixes badspec exception#2214

Merged

mvilanova merged 1 commit intomasterfrom

May 18, 2022

Commits on May 18, 2022

Fixes badspec exception
mvilanova
committed