ubuntu/3.31.90-1ubuntu1

Jeremy Bícha

@jbicha

e1a4083d · Release gnome-terminal 3.31.90-1ubuntu1 · Feb 06, 2019

gnome-terminal Debian release 3.31.90-1ubuntu1