<@U0BUH9FRD>: yes (but github is experiencing some troubles right now). Basically, it is ChangeLog.m...
d
@sdeleuze: yes (but github is experiencing some troubles right now). Basically, it is ChangeLog.md in master branch.