Use String.{starts,ends}_with
authorStéphane Glondu <glondu@debian.org>
Sun, 20 Aug 2023 08:44:10 +0000 (10:44 +0200)
committerStéphane Glondu <glondu@debian.org>
Sun, 20 Aug 2023 09:09:32 +0000 (11:09 +0200)
commit94176a11f3c6decc61c75eebb9e28863193390e1
treeecbf191f1049ed7af03d5da1f6b02329646d30f6
parentc096a4b099ee98ee11f55edbd6d4af1683d35241
Use String.{starts,ends}_with
debian/dispatch.ml