tree a09b11db2120152ae225ea9be29a337a8f72c9b0
parent fee838b55bddcb5e046dac31458c6c4fca0aed53
author Claus Ibsen <claus.ibsen@gmail.com> 1628091196 +0200
committer Claus Ibsen <claus.ibsen@gmail.com> 1628091203 +0200

Fixed example. Thanks to John Lauder for providing a patch with a fix.