Discussion for Merge Request #:142: [#8104] Skip creating metapost if list of changes is empty

Page 1.0 of 1.0

Log in to post a comment.