mavigator (0.1.0) unstable; urgency=medium

  * Initial release

 -- Jakob Odersky <jakob@odersky.com>  Thu, 09 Feb 2017 16:21:34 -0800