diff options
| -rwxr-xr-x | bin/reproducible_html_indexes.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/reproducible_html_indexes.py b/bin/reproducible_html_indexes.py index 1a162648..e359c8cd 100755 --- a/bin/reproducible_html_indexes.py +++ b/bin/reproducible_html_indexes.py @@ -313,5 +313,6 @@ def build_page(page): if __name__ == '__main__': bugs = get_bugs() + print(bugs) for page in pages.keys(): build_page(page) |