gnome-shell-extension-arc-menu (38.3-dev-1) unstable; urgency=medium

  * Initial release (Closes: #942310)

 -- Jonathan Carter <jcc@debian.org>  Tue, 12 Nov 2019 11:18:01 +0000
