diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-07-21 16:30:25 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-07-21 16:30:25 +0800 |
| commit | ffb6e689d28d295733b90f2b9e184205e33f19c2 (patch) | |
| tree | fcdb2b298d2737eeeff4969f7e428c5b7cfd770c /graph/src/labelled/double.rs | |
| parent | 201830e33ab5c45044e960217e0ac8803e3e134d (diff) | |
Bump version number to 0.1.20.1.2
I have fixed another bug and think that the version of a more stable
version is worth bumping the versions for.
Diffstat (limited to 'graph/src/labelled/double.rs')
0 files changed, 0 insertions, 0 deletions