diff frontends/src/jp/cmd_debug.py @ 2430:3faf18111d61

plugin tickets: fill reporter field when it is not already filled
author Goffi <goffi@goffi.org>
date Sat, 11 Nov 2017 18:39:26 +0100
parents 192ae573901a
children e86dc8cb4345
line wrap: on
line diff