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)
Allow %0s $display format specifier

1  2 
frontends/ast/simplify.cc

Simple merge