commit | 192b58ee5581d00efc6b72709b530115f5554ee2 | [log] [tgz] |
---|---|---|
author | Dmitri Shuralyov <dmitri@shuralyov.com> | Thu Oct 12 12:07:25 2023 -0400 |
committer | Dmitri Shuralyov <dmitri@shuralyov.com> | Thu Oct 12 12:07:25 2023 -0400 |
tree | 272e4e0530d47949d50a81bb76e16fa9c6612eab | |
parent | da85f8ab81fb753d8cdd046558860721d8116565 [diff] |
suggest adding .txt file extension for attaching to GitHub issue