Nikolaus Wittenstein 8ddbf7f59f Fix spelling of "persistent" ... Fixes #1201.		2017-05-11 15:32:35 -04:00
..
default	Fix spelling of "persistent"	2017-05-11 15:32:35 -04:00