diff options
| author | rsiddharth <s@ricketyspace.net> | 2017-02-09 02:43:27 +0000 |
|---|---|---|
| committer | rsiddharth <s@ricketyspace.net> | 2017-02-09 02:43:27 +0000 |
| commit | f7acfb0f4279c78a303a9e6f2c5a38fd5334e0f7 (patch) | |
| tree | d724df07a6c41311147b449b4467f04907d30579 /README.rst | |
| parent | 4fd774d0ff89f8917edb26803cb3bcace5b1d42d (diff) | |
Fix wiki page path string generation `push_wiki_page`.
The argument `version` is an integer; this is now converted to a
string when generating the wiki page path string.
* gd_diff.py (push_wiki_page): Update function.
Diffstat (limited to 'README.rst')
0 files changed, 0 insertions, 0 deletions