[PRQ#85990] Merge Request for seatools Accepted

[notify]

Request #85990 has been Accepted by tippfehlr [1]:

[Autogenerated] Accepted merge for seatools into seatools-bin.

[1] https://aur.archlinux.org/account/tippfehlr/