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