diff options
author | nicolargo <nicolas@nicolargo.com> | 2022-10-17 23:15:34 +0200 |
---|---|---|
committer | nicolargo <nicolas@nicolargo.com> | 2022-10-17 23:15:56 +0200 |
commit | b6f56f416bb8c91f128493cc4d76a2ac8a2743b9 (patch) | |
tree | 7ba82724ab5dff8ceb6189a4be66c554e05abc56 /.github | |
parent | 967ad5feddaf67fb4f84696bd56ff680fa9bd8d3 (diff) |
Quick and dirty patch for #2155v3.3.0.1
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions