pin_updated


Description:

public signal void pin_updated ()