ramou opened this issue 2 years ago ยท 0 comments
Looks like a capitalization issue. This is minor, doesn't break anything, but we should probably make it consistent.
