[HOT] Tasking Manager updated

[Pierre GIRAUD]

Dear hotties,

A new release (2.5.0) of the Tasking Manager has been deployed.

https://github.com/hotosm/osm-tasking-manager2/releases/tag/2.5.0

Among the bug fixes, there's a new feature you might be interested in:
you can now mention a user when writing a comment on a task by typing
@. The mentioned user will automatically receive a notification
message.

As always, please report any issue.

Pierre


-- 
-------------------------------------------------------------
  | Pierre GIRAUD
-------------------------------------------------------------