Hello, Does Dexter operate with PR1.3? After PR1.3 update it was listed in apps to be updated, but Dexter didn't update and previous installation disappeared. Extra devel repository is active.

Any help? Thanks !