jgart ec74b6d032
Remove Mozilla Persona plugin [#5512].
Mozilla persona is RIP since 2016.

Signed-off-by: Ben Sturmfels <ben@sturm.com.au>
2021-04-23 17:48:03 +10:00
..
2013-05-24 16:52:48 -07:00
2013-08-15 16:02:00 -07:00