Merge pull request #2339 from zachjs/display-format-0s
authorclairexen <claire@symbioticeda.com>
Tue, 18 Aug 2020 15:39:01 +0000 (17:39 +0200)
committerGitHub <noreply@github.com>
Tue, 18 Aug 2020 15:39:01 +0000 (17:39 +0200)
commit22765ef0a5ff5af9f6efae9b5443afa7bccfb4e5
tree4c07a29c0fdb3f3736bbef8a8e5236c4990edab2
parent4aa0dc4dc76a02ec0281c0596880a3ef8609bacd
parent96ec9acf84d6eba753d6a2482b78acbf293544a5
Merge pull request #2339 from zachjs/display-format-0s

Allow %0s $display format specifier
frontends/ast/simplify.cc