tree 1927461f56b80683d85918da48bee50d3bced9ea
parent 16bd0b44636b1fe21def21b6e2537b58315d3fc6
author Sandro Tosi <sandro.tosi@gmail.com> 1327008180 +0100
committer Sandro Tosi <sandro.tosi@gmail.com> 1327008180 +0100

Issue #13605: more meaningful example + fixes