On 23 October 2017 at 17:06, Bernhard Lohkamp <[email protected]> wrote:
> No. Its not functional. It is a placeholder and was meant to be filled but > there is a new Ramachandran coming where it works ;-) In Paul's hands > when... until then the current widget should probably be removed. > > B > Thanks Paul and B. Looking forward! (thanks for the copy fragment tip)!
