beorn7 5df5ff3851 Update doc comment
This should have gone into a previous commit, but I forgot to save
this particular file.
2016-01-15 15:02:12 +01:00
..
2016-01-11 16:48:21 +01:00
2016-01-15 15:02:12 +01:00
2016-01-11 16:48:21 +01:00
2016-01-11 16:48:11 +01:00