fix: ResultSet.getDate is often wrong as it fetches day-precision times

[gigi.git] / src / club / wpia / gigi / PermissionCheckable.java

package club.wpia.gigi;

import club.wpia.gigi.util.AuthorizationContext;

public interface PermissionCheckable {

    public boolean isPermitted(AuthorizationContext u);

}