Hi! I have upgraded sqlite locally to 3.7.1 but they're going to release another bugfix release in a few days. Should I commit 3.7.1 to svn (commiting 3.7.2 when the bug will be fixed could save us another large rebuild)?